org.jacop.fz

Class SearchItem

java.lang.Object

org.jacop.fz.SearchItem

All Implemented Interfaces:

ParserTreeConstants

public class SearchItem
extends Object
implements ParserTreeConstants

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

Version:

4.9

Author:

Krzysztof Kuchcinski

Field Summary

Fields inherited from interface org.jacop.fz.ParserTreeConstants

JJTANNEXPR, JJTANNOTATION, JJTARRAYLITERAL, JJTBOOLTIEXPRTAIL, JJTCONSTELEM, JJTCONSTRAINT, JJTCONSTRAINTITEMS, JJTFLOATTIEXPRTAIL, JJTINTFLATEXPR, JJTINTLITERALS, JJTINTTIEXPRTAIL, JJTMODEL, JJTMODELEND, jjtNodeName, JJTSCALARFLATEXPR, JJTSETELEMENT, JJTSETLITERAL, JJTSETTIEXPRTAIL, JJTSOLVEEXPR, JJTSOLVEITEM, JJTSOLVEKIND, JJTVARDECLITEM, JJTVARDECLITEMS, JJTVARIABLEEXPR, JJTVOID

Constructor Summary

Constructors

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.

Method Summary

Modifier and Type	Method and Description
void	addSearch(SearchItem si)
String	exploration()
ComparatorVariable<FloatVar>	getFloatVarSelect()
int	getInt(ASTScalarFlatExpr node)
ComparatorVariable<IntVar>	getVarSelect()
String	getVarSelectHeuristic(ASTAnnotation expr)
String	indomain()
int	search_seqSize()
String	toString()
String	type()
String	var_selection()
Var[]	vars()

Methods inherited from class java.lang.Object

clone, equals, finalize, 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

getVarSelect

public ComparatorVariable<IntVar> getVarSelect()

getFloatVarSelect

public ComparatorVariable<FloatVar> getFloatVarSelect()

getInt

public int getInt(ASTScalarFlatExpr node)

type

public String type()

exploration

public String exploration()

indomain

public String indomain()

var_selection

public String var_selection()

vars

public Var[] vars()

getVarSelectHeuristic

public String getVarSelectHeuristic(ASTAnnotation expr)

addSearch

public void addSearch(SearchItem si)

search_seqSize

public int search_seqSize()

toString

public String toString()

Overrides:

toString in class Object