public class SearchItem extends Object implements ParserTreeConstants
JJTANNEXPR, JJTANNOTATION, JJTARRAYLITERAL, JJTBOOLTIEXPRTAIL, JJTCONSTELEM, JJTCONSTRAINT, JJTCONSTRAINTITEMS, JJTFLOATTIEXPRTAIL, JJTINTFLATEXPR, JJTINTLITERALS, JJTINTTIEXPRTAIL, JJTMODEL, JJTMODELEND, jjtNodeName, JJTSCALARFLATEXPR, JJTSETLITERAL, JJTSETTIEXPRTAIL, JJTSOLVEEXPR, JJTSOLVEITEM, JJTSOLVEKIND, JJTVARDECLITEM, JJTVARDECLITEMS, JJTVARIABLEEXPR, JJTVOID
Constructor and Description |
---|
SearchItem(Store store,
Tables table)
It constructs search part parsing object based on dictionaries
provided as well as store object within which the search will take place.
|
Modifier and Type | Method and Description |
---|---|
void |
addSearch(SearchItem si) |
String |
exploration() |
ComparatorVariable |
getFloatVarSelect() |
ComparatorVariable |
getVarSelect() |
String |
indomain() |
int |
search_seqSize() |
String |
toString() |
String |
type() |
String |
var_selection() |
Var[] |
vars() |
public SearchItem(Store store, Tables table)
store
- the finite domain store within which the search will take place.table
- the holder of all the objects present in the flatzinc file.public ComparatorVariable getVarSelect()
public ComparatorVariable getFloatVarSelect()
public String type()
public String exploration()
public String indomain()
public String var_selection()
public Var[] vars()
public void addSearch(SearchItem si)
public int search_seqSize()
Copyright © 2015. All rights reserved.