Package org.jacop.fz
Class SearchItem<T extends Var>
java.lang.Object
org.jacop.fz.SearchItem<T>
- All Implemented Interfaces:
ParserTreeConstants
The part of the parser responsible for parsing search part of the flatzinc specification.
- Version:
- 4.10
-
Nested Class Summary
Nested Classes -
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) int
(package private) IntVar[]
(package private) Calculator
(package private) ArrayList
<SearchItem<T>> (package private) String
(package private) Var[]
(package private) SearchItem<T>.ComparatorsVar
<T> (package private) Store
(package private) ComparatorVariable
<FloatVar> (package private) ComparatorVariable
<IntVar> (package private) ComparatorVariable
<SetVar> (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<T> si) (package private) void
explorationType
(ASTAnnotation expr4) (package private) SelectChoicePoint
<FloatVar> (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
<IntVar> (package private) ArrayList
<SearchItem<T>> (package private) SelectChoicePoint
<SetVar> (package private) SetVar[]
getSetVarArray
(SimpleNode node) (package private) SetVar
(package private) SearchItem<T>.ComparatorsVar
<SetVar> (package private) IntVar[]
getVarArray
(SimpleNode node) (package private) IntVar
getVariable
(ASTScalarFlatExpr node) (package private) SelectChoicePoint
<IntVar> indomain()
(package private) void
int
(package private) void
searchParameters
(SimpleNode node, int n) (package private) void
searchParametersForSeveralAnnotations
(SimpleNode node, int n) void
setSearchType
(String st) toString()
type()
Var[]
vars()
-
Field Details
-
dictionary
Tables dictionary -
store
Store store -
search_seq
ArrayList<SearchItem<T extends Var>> 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 -
selVars
SearchItem<T extends Var>.ComparatorsVar<T extends Var> selVars -
tieBreakingInt
ComparatorVariable<IntVar> tieBreakingInt -
tieBreakingSet
ComparatorVariable<SetVar> tieBreakingSet -
tieBreakingFloat
ComparatorVariable<FloatVar> tieBreakingFloat -
restartCalculator
Calculator restartCalculator -
prioritySearch
boolean prioritySearch -
preferedValues
-
relax_and_reconstruct_variables
IntVar[] relax_and_reconstruct_variables -
probability
int probability
-
-
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
-
getWarmStartSelect
SelectChoicePoint<IntVar> getWarmStartSelect() -
getIntSelect
SelectChoicePoint<IntVar> getIntSelect() -
getFloatSelect
SelectChoicePoint<FloatVar> getFloatSelect() -
getSetSelect
SelectChoicePoint<SetVar> getSetSelect() -
getIndomain4Set
-
getIndomain
-
getVarSelect
-
getFloatVarSelect
-
getSetVarSelect
SearchItem<T>.ComparatorsVar<SetVar> getSetVarSelect() -
getVariable
-
getFloatVariable
-
getIntArray
-
getInt
-
getVarArray
-
getFloatVarArray
-
getSetVariable
-
getSetVarArray
-
type
-
setSearchType
-
exploration
-
indomain
-
var_selection
-
vars
-
getSearchItems
ArrayList<SearchItem<T>> getSearchItems() -
getVarSelectHeuristic
-
addSearch
-
search_seqSize
public int search_seqSize() -
toString
-