Package org.jacop.fz

Class SearchItem

java.lang.Object

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

Version:

4.8

Field Summary

Fields

Modifier and Type	Field	Description
(package private) int	bbsValue
(package private) int	creditValue
(package private) Tables	dictionary
(package private) java.lang.String	explore
(package private) boolean	floatSearch
(package private) java.lang.String	indomain
(package private) int	ldsValue
(package private) double	precision
(package private) boolean	prioritySearch
(package private) Calculator	restartCalculator
(package private) java.util.ArrayList<SearchItem>	search_seq
(package private) java.lang.String	search_type
(package private) Var[]	search_variables
(package private) Store	store
(package private) ComparatorVariable	tieBreaking
(package private) java.lang.String	var_selection_heuristic

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

Constructors

Constructor	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	Description
void	addSearch(SearchItem si)
java.lang.String	exploration()
(package private) void	explorationType(ASTAnnotation expr4)
(package private) SelectChoicePoint	getFloatSelect()
(package private) FloatVar[]	getFloatVarArray(SimpleNode node)
(package private) FloatVar	getFloatVariable(ASTScalarFlatExpr node)
ComparatorVariable<FloatVar>	getFloatVarSelect()
(package private) Indomain<IntVar>	getIndomain(java.lang.String indomain)
(package private) Indomain<SetVar>	getIndomain4Set(java.lang.String indomain)
(package private) SelectChoicePoint	getIntSelect()
(package private) java.util.ArrayList<SearchItem>	getSearchItems()
(package private) SelectChoicePoint	getSelect()
(package private) SelectChoicePoint	getSetSelect()
(package private) SetVar[]	getSetVarArray(SimpleNode node)
(package private) SetVar	getSetVariable(ASTScalarFlatExpr node)
(package private) ComparatorVariable<SetVar>	getSetVarSelect()
(package private) IntVar[]	getVarArray(SimpleNode node)
(package private) IntVar	getVariable(ASTScalarFlatExpr node)
ComparatorVariable<IntVar>	getVarSelect()
java.lang.String	indomain()
(package private) void	makeVectorOfSearches(SimpleNode body)
int	search_seqSize()
(package private) void	searchParameters(SimpleNode node, int n)
(package private) void	searchParametersForSeveralAnnotations(SimpleNode node, int n)
java.lang.String	toString()
java.lang.String	type()
java.lang.String	var_selection()
Var[]	vars()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

dictionary

Tables dictionary

store

Store store

search_seq

java.util.ArrayList<SearchItem> search_seq

search_variables

Var[] search_variables

search_type

java.lang.String search_type

explore

java.lang.String explore

indomain

java.lang.String indomain

var_selection_heuristic

java.lang.String var_selection_heuristic

floatSearch

boolean floatSearch

precision

double precision

ldsValue

int ldsValue

creditValue

int creditValue

bbsValue

int bbsValue

tieBreaking

ComparatorVariable tieBreaking

restartCalculator

Calculator restartCalculator

prioritySearch

boolean prioritySearch

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

searchParameters

void searchParameters(SimpleNode node,
                      int n)

makeVectorOfSearches

void makeVectorOfSearches(SimpleNode body)

explorationType

void explorationType(ASTAnnotation expr4)

searchParametersForSeveralAnnotations

void searchParametersForSeveralAnnotations(SimpleNode node,
                                           int n)

getSelect

SelectChoicePoint getSelect()

getIntSelect

SelectChoicePoint getIntSelect()

getFloatSelect

SelectChoicePoint getFloatSelect()

getSetSelect

SelectChoicePoint getSetSelect()

getIndomain4Set

Indomain<SetVar> getIndomain4Set(java.lang.String indomain)

getIndomain

Indomain<IntVar> getIndomain(java.lang.String indomain)

getVarSelect

public ComparatorVariable<IntVar> getVarSelect()

getFloatVarSelect

public ComparatorVariable<FloatVar> getFloatVarSelect()

getSetVarSelect

ComparatorVariable<SetVar> getSetVarSelect()

getVariable

IntVar getVariable(ASTScalarFlatExpr node)

getFloatVariable

FloatVar getFloatVariable(ASTScalarFlatExpr node)

getVarArray

IntVar[] getVarArray(SimpleNode node)

getFloatVarArray

FloatVar[] getFloatVarArray(SimpleNode node)

getSetVariable

SetVar getSetVariable(ASTScalarFlatExpr node)

getSetVarArray

SetVar[] getSetVarArray(SimpleNode node)

type

public java.lang.String type()

exploration

public java.lang.String exploration()

indomain

public java.lang.String indomain()

var_selection

public java.lang.String var_selection()

vars

public Var[] vars()

getSearchItems

java.util.ArrayList<SearchItem> getSearchItems()

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