public class Solve extends Object implements ParserTreeConstants
Modifier and Type | Class and Description |
---|---|
class |
Solve.CostListener<T extends Var> |
static class |
Solve.PrecisionSetting |
Modifier and Type | Field and Description |
---|---|
StringBuffer |
lastSolution |
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 and Description |
---|
Solve(Store store,
SatTranslation sat)
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(org.jacop.fz.ASTSolveItem node,
Tables table,
Options opt)
It parses the solve part.
|
void |
solveModel(org.jacop.fz.SimpleNode astTree,
Tables table,
Options opt) |
void |
statistics(boolean result) |
public StringBuffer lastSolution
public Solve(Store store, SatTranslation sat)
store
- the constraint store within which context the search will take place.sat
- sat translation usedpublic void search(org.jacop.fz.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 © 2022. All rights reserved.