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
-
-
-
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()
-
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 classjava.lang.Object
-
-