public interface VarSelector
Modifier and Type | Method and Description |
---|---|
SearchStrategy |
getSearchStrategy()
Return a search strategy with which this selector is associated
|
VarSelectorType |
getType()
Returns a type of this selector
|
Var[] |
getVars()
Returns the array of constrained variables upon which this selector was defined.
|
int |
select()
Returns the index of the selected variable in the array of constrained
variables upon which this selector was defined.
|
SearchStrategy getSearchStrategy()
VarSelectorType getType()
Var[] getVars()
int select()