Modifier and Type | Method and Description |
---|---|
ValueSelectorType |
ValueSelector.getType() |
static ValueSelectorType |
ValueSelectorType.valueOf(java.lang.String name)
Returns the enum constant of this type with the specified name.
|
static ValueSelectorType[] |
ValueSelectorType.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,
ValueSelectorType valueSelectorType)
This methods takes the default search strategy, resets its
vars and valueSelector, 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.setValueSelectorType(ValueSelectorType valueSelectorType)
Sets a value selector type to be used by this strategy
|