public class Solve extends java.lang.Object implements ParserTreeConstants
Modifier and Type | Class and Description |
---|---|
class |
Solve.CostListener<T extends Var> |
class |
Solve.EmptyListener<T extends Var> |
JJTANNEXPR, JJTANNOTATION, JJTARRAYLITERAL, JJTBOOLTIEXPRTAIL, JJTCONSTELEM, JJTCONSTRAINT, JJTCONSTRAINTITEMS, 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 |
---|---|
void |
search(ASTSolveItem node,
Tables table,
Options opt)
It parses the solve part.
|
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).