Modifier and Type | Method and Description |
---|---|
VarSelectorType |
VarSelector.getType()
Returns a type of this selector
|
static VarSelectorType |
VarSelectorType.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static VarSelectorType[] |
VarSelectorType.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Modifier and Type | Method and Description |
---|---|
void |
Solver.addSearchStrategy(Var[] vars,
VarSelectorType varSelectorType)
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,
VarSelectorType varSelectorType,
ValueSelectorType valueSelectorType)
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 |
SearchStrategy.setVarSelectorType(VarSelectorType varSelectorType)
Sets a variable selector type to be used by this strategy
|