JaCoP.fz
Class Constraints

java.lang.Object
  JaCoP.fz.Constraints

All Implemented Interfaces:

ParserTreeConstants

public class Constraints
extends java.lang.Object
implements ParserTreeConstants

The part of the parser responsible for parsing constraints.

Author:

Krzysztof Kuchcinski

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

Constraints(Store store)
It creates an object to parse the constraint part of the flatzinc file.

Method Summary

Methods inherited from class java.lang.Object

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

Constructor Detail

Constraints

public Constraints(Store store)

It creates an object to parse the constraint part of the flatzinc file.

Parameters:

store - the constraint store in which the constraints are being created.