Modifier and Type | Method and Description |
---|---|
VarSelector |
SearchStrategy.getVarSelector()
Returns a variable selector that was set for this strategy
|
Modifier and Type | Method and Description |
---|---|
void |
Solver.addSearchStrategy(Var[] vars,
VarSelector varSelector)
This methods takes the default search strategy, resets its
vars and varSelector, and adds this strategy to the end of the strategy execution lists.
|
void |
Solver.addSearchStrategy(Var[] vars,
VarSelector varSelector,
ValueSelector valueSelector)
This methods takes the default search strategy, resets its
vars, varSelector, and valueSelector, and then adds this strategy
to the end of the strategy execution lists.
|
void |
Solver.setSearchStrategy(Var[] vars,
VarSelector varSelector)
Define a searchStrategy that will be used by find solutions methods.
|
void |
Solver.setSearchStrategy(Var[] vars,
VarSelector varSelector,
ValueSelector valueSelector)
Define a searchStrategy that will be used by find solutions methods.
|
void |
SearchStrategy.setVarSelector(VarSelector varSelector)
Sets a variable selector that may be used (or not) by this strategy
|