public class SearchItem extends java.lang.Object implements ParserTreeConstants
JJTANNEXPR, JJTANNOTATION, JJTARRAYLITERAL, JJTBOOLTIEXPRTAIL, JJTCONSTELEM, JJTCONSTRAINT, JJTCONSTRAINTITEMS, 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) |
int |
search_seqSize() |
java.lang.String |
toString() |
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 void addSearch(SearchItem si)
public int search_seqSize()
public java.lang.String toString()
toString
in class java.lang.Object