JaCoP.fz
Class Solve

java.lang.Object
  JaCoP.fz.Solve

All Implemented Interfaces:

ParserTreeConstants

public class Solve
extends java.lang.Object
implements ParserTreeConstants

The parser part responsible for parsing the solve part of the flatzinc file, building a related search and executing it. Current implementation runs also final search on all variables to ensure that they are ground.

Author:

Krzysztof Kuchcinski

Nested Class Summary

class	Solve.CostListener<T extends Var>
class	Solve.EmptyListener<T extends Var>

Field Summary

Fields inherited from interface JaCoP.fz.ParserTreeConstants

JJTANNEXPR, JJTANNOTATION, JJTARRAYLITERAL, JJTBOOLTIEXPRTAIL, JJTCONSTELEM, JJTCONSTRAINT, JJTCONSTRAINTITEMS, JJTINTFLATEXPR, JJTINTLITERALS, JJTINTTIEXPRTAIL, JJTMODEL, JJTMODELEND, jjtNodeName, JJTSCALARFLATEXPR, JJTSETLITERAL, JJTSETTIEXPRTAIL, JJTSOLVEEXPR, JJTSOLVEITEM, JJTSOLVEKIND, JJTVARDECLITEM, JJTVARDECLITEMS, JJTVARIABLEEXPR, JJTVOID

Constructor Summary

Solve(Store store)
It creates a parser for the solve part of the flatzinc file.

Method Summary

void	search(ASTSolveItem node, Tables table, Options opt) It parses the solve part.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Solve

public Solve(Store store)

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.

Method Detail

search

public void search(ASTSolveItem node,
                   Tables table,
                   Options opt)

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).