public class Solve extends Object implements ParserTreeConstants
Modifier and Type | Class and Description |
---|---|
class |
Solve.CostListener<T extends Var> |
class |
Solve.PrecisionSetting |
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 and Description |
---|
Solve(Store store)
It creates a parser for the solve part of the flatzinc file.
|
Modifier and Type | Method and Description |
---|---|
SearchItem |
getSearch() |
int |
getSolveKind() |
void |
printStatistics(boolean interrupted,
boolean result) |
void |
printStatisticsIterrupt() |
void |
search(ASTSolveItem node,
Tables table,
Options opt)
It parses the solve part.
|
void |
statistics(boolean result) |
public Solve(Store store)
store
- the constraint store within which context the search will take place.public void search(ASTSolveItem node, Tables table, Options opt)
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).public void statistics(boolean result)
public void printStatisticsIterrupt()
public void printStatistics(boolean interrupted, boolean result)
public SearchItem getSearch()
public int getSolveKind()
Copyright © 2015. All rights reserved.