JaCoP.fz
Class SearchItem

java.lang.Object
  JaCoP.fz.SearchItem

All Implemented Interfaces:

ParserTreeConstants

public class SearchItem
extends java.lang.Object
implements ParserTreeConstants

The part of the parser responsible for parsing search part of the flatzinc specification.

Author:

Krzysztof Kuchcinski

Field Summary

Fields inherited from interface JaCoP.fz.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 Summary

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.

Method Summary

void	addSearch(SearchItem si)
int	search_seqSize()
java.lang.String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

SearchItem

public 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.

Parameters:

store - the finite domain store within which the search will take place.

table - the holder of all the objects present in the flatzinc file.

Method Detail

addSearch

public void addSearch(SearchItem si)

search_seqSize

public int search_seqSize()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object