Package org.jacop.fz
Class SearchItem
java.lang.Object
org.jacop.fz.SearchItem
- All Implemented Interfaces:
ParserTreeConstants
The part of the parser responsible for parsing search part of the flatzinc specification.
- Version:
- 4.9
-
Field Summary
FieldsModifier and TypeFieldDescription(package private) int
(package private) int
(package private) Tables
(package private) String
(package private) boolean
(package private) String
(package private) int
(package private) double
(package private) boolean
(package private) Calculator
(package private) ArrayList
<SearchItem> (package private) String
(package private) Var[]
(package private) Store
(package private) ComparatorVariable
(package private) String
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
ConstructorsConstructorDescriptionSearchItem
(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 TypeMethodDescriptionvoid
addSearch
(SearchItem si) (package private) void
explorationType
(ASTAnnotation expr4) (package private) SelectChoicePoint
(package private) FloatVar[]
getFloatVarArray
(SimpleNode node) (package private) FloatVar
getIndomain
(String indomain) getIndomain4Set
(String indomain) int
getInt
(ASTScalarFlatExpr node) (package private) int[]
getIntArray
(SimpleNode node) (package private) SelectChoicePoint
(package private) ArrayList
<SearchItem> (package private) SelectChoicePoint
(package private) SelectChoicePoint
(package private) SetVar[]
getSetVarArray
(SimpleNode node) (package private) SetVar
(package private) ComparatorVariable
<SetVar> (package private) IntVar[]
getVarArray
(SimpleNode node) (package private) IntVar
getVariable
(ASTScalarFlatExpr node) (package private) SelectChoicePoint
indomain()
(package private) void
int
(package private) void
searchParameters
(SimpleNode node, int n) (package private) void
searchParametersForSeveralAnnotations
(SimpleNode node, int n) toString()
type()
Var[]
vars()
-
Field Details
-
dictionary
Tables dictionary -
store
Store store -
search_seq
ArrayList<SearchItem> search_seq -
search_variables
Var[] search_variables -
search_type
String search_type -
explore
String explore -
indomain
String indomain -
var_selection_heuristic
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 -
preferedValues
-
-
Constructor Details
-
SearchItem
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 Details
-
searchParameters
-
makeVectorOfSearches
-
explorationType
-
searchParametersForSeveralAnnotations
-
getSelect
SelectChoicePoint getSelect() -
getWarmStartSelect
SelectChoicePoint getWarmStartSelect() -
getIntSelect
SelectChoicePoint getIntSelect() -
getFloatSelect
SelectChoicePoint getFloatSelect() -
getSetSelect
SelectChoicePoint getSetSelect() -
getIndomain4Set
-
getIndomain
-
getVarSelect
-
getFloatVarSelect
-
getSetVarSelect
ComparatorVariable<SetVar> getSetVarSelect() -
getVariable
-
getFloatVariable
-
getIntArray
-
getInt
-
getVarArray
-
getFloatVarArray
-
getSetVariable
-
getSetVarArray
-
type
-
exploration
-
indomain
-
var_selection
-
vars
-
getSearchItems
ArrayList<SearchItem> getSearchItems() -
getVarSelectHeuristic
-
addSearch
-
search_seqSize
public int search_seqSize() -
toString
-