Package org.jacop.fz
Class Solve
java.lang.Object
org.jacop.fz.Solve
- All Implemented Interfaces:
ParserTreeConstants
-
Nested Class Summary
Nested Classes -
Field Summary
FieldsModifier and TypeFieldDescription(package private) Var
(package private) boolean
(package private) boolean
(package private) Tables
(package private) FailConstraintsStatistics
(package private) DepthFirstSearch<Var>[]
(package private) int
(package private) Var
(package private) DepthFirstSearch<Var>
(package private) SelectChoicePoint<Var>
(package private) boolean
(package private) int
(package private) long
(package private) DepthFirstSearch<Var>
(package private) boolean
(package private) NumberFormat
(package private) int
(package private) boolean
(package private) Options
(package private) static final String
(package private) boolean
(package private) Calculator
(package private) boolean
(package private) RestartSearch<Var>
(package private) SatTranslation
(package private) long
(package private) SearchItem
(package private) boolean
(package private) int
(package private) long
(package private) Store
(package private) Timer
(package private) SelectChoicePoint<Var>
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
ConstructorsConstructorDescriptionSolve
(Store store, SatTranslation sat) It creates a parser for the solve part of the flatzinc file. -
Method Summary
Modifier and TypeMethodDescription(package private) boolean
anyTimeOutOccured
(ArrayList<Search<Var>> list_seq_searches) (package private) void
credit_search
(DepthFirstSearch<Var> label, int creditValue, int bbsValue) (package private) DepthFirstSearch<Var>
(package private) IntVar
getCost
(ASTSolveExpr node) (package private) FloatVar
getCostFloat
(ASTSolveExpr node) (package private) double
(package private) int
(package private) DepthFirstSearch<Var>
(package private) double
int
(package private) void
helperSolutionPrinter
(String lastSolution) (package private) DepthFirstSearch<Var>
int_search
(SearchItem si) (package private) void
lds_search
(DepthFirstSearch<Var> label, int lds_value) (package private) ArrayList<SearchItem>
parseSearchAnnotations
(ArrayList<SearchItem> search_seq) (package private) void
pose
(Constraint c) (package private) void
(package private) void
void
printStatistics
(boolean interrupted, boolean result) (package private) void
printStatisticsForSeqSearch
(boolean interrupted, boolean result) (package private) void
printStatisticsForSingleSearch
(boolean interrupted, boolean result) void
(package private) DepthFirstSearch<Var>
(package private) void
run_sequence_search
(int solveKind, SimpleNode kind, SearchItem si) (package private) void
run_single_search
(int solveKind, SimpleNode kind, SearchItem si) void
search
(ASTSolveItem node, Tables table, Options opt) It parses the solve part.(package private) void
searchForAll
(DepthFirstSearch<Var> label) (package private) DepthFirstSearch<Var>
set_search
(SearchItem si) (package private) DepthFirstSearch<Var>[]
setSubSearchForAll
(DepthFirstSearch<Var> label, Options opt) void
solveModel
(SimpleNode astTree, Tables table, Options opt) (package private) void
void
statistics
(boolean result) (package private) DepthFirstSearch<Var>
sub_search
(SearchItem si, DepthFirstSearch<Var> l, boolean master) (package private) DepthFirstSearch<Var>
-
Field Details
-
dictionary
Tables dictionary -
options
Options options -
store
Store store -
initNumberConstraints
int initNumberConstraints -
timer
Timer timer -
startCPU
long startCPU -
initTime
long initTime -
searchTime
long searchTime -
variable_selection
SelectChoicePoint<Var> variable_selection -
list_seq_searches
-
debug
boolean debug -
print_search_info
boolean print_search_info -
heuristicSeqSearch
boolean heuristicSeqSearch -
costVariable
Var costVariable -
restartCalculator
Calculator restartCalculator -
rs
RestartSearch<Var> rs -
singleSearch
boolean singleSearch -
result
boolean result -
optimization
boolean optimization -
minimize
boolean minimize -
si
SearchItem si -
defaultSearch
boolean defaultSearch -
label
DepthFirstSearch<Var> label -
final_search
DepthFirstSearch<Var>[] final_search -
final_search_seq
-
flatzincDFS
DepthFirstSearch<Var> flatzincDFS -
flatzincVariableSelection
SelectChoicePoint<Var> flatzincVariableSelection -
flatzincCost
Var flatzincCost -
solveKind
int solveKind -
sat
SatTranslation sat -
lastSolution
-
failStatistics
FailConstraintsStatistics failStatistics -
nf
NumberFormat nf -
numberSolutions
int numberSolutions -
finalNumberSolutions
int finalNumberSolutions -
p
-
-
Constructor Details
-
Solve
It creates a parser for the solve part of the flatzinc file.- Parameters:
store
- the constraint store within which context the search will take place.sat
- sat translation used
-
-
Method Details
-
solveModel
-
search
It parses the solve part.- Parameters:
node
- the current parsing node.table
- the table containing all the various variable definitions encoutered thus far.opt
- option specifies to flatzinc parser in respect to search (e.g. all solutions).
-
parseSearchAnnotations
-
run_single_search
-
searchForAll
-
statistics
public void statistics(boolean result) -
printStatisticsIterrupt
public void printStatisticsIterrupt() -
printStatistics
public void printStatistics(boolean interrupted, boolean result) -
printStatisticsForSingleSearch
void printStatisticsForSingleSearch(boolean interrupted, boolean result) -
setSubSearchForAll
-
run_sequence_search
-
getLastSearch
-
printStatisticsForSeqSearch
void printStatisticsForSeqSearch(boolean interrupted, boolean result) -
getSearchTime_ms
double getSearchTime_ms() -
getInitTime_ms
double getInitTime_ms() -
anyTimeOutOccured
-
sub_search
-
int_search
-
warm_start_search
-
set_search
-
float_search
-
priority_search
-
printSolution
void printSolution() -
getKind
-
getCost
-
getCostFloat
-
pose
-
lds_search
-
credit_search
-
printSearch
-
getSearch
-
getSolveKind
public int getSolveKind() -
helperSolutionPrinter
-
startTimer
void startTimer()
-