Modifier and Type | Method and Description |
---|---|
SearchStrategy |
VarSelector.getSearchStrategy()
Return a search strategy with which this selector is associated
|
SearchStrategy |
Solver.getSearchStrategy()
Returns a SearchStrategy that is currently used by the solver
|
SearchStrategy |
Solver.getStrategyLogVariables()
Returns a search strategy that logs all variables
|
SearchStrategy |
Solver.newSearchStrategy()
This methods returns a new default search strategy
|
Modifier and Type | Method and Description |
---|---|
void |
Solver.addSearchStrategy(SearchStrategy strategy)
This methods adds this strategy
to the end of the strategy execution lists.
|
void |
Solver.setSearchStrategy(SearchStrategy strategy)
Define a search strategy that will be used by the solver to solve the problem.
|