Package org.jacop.fz
Class Constraints
- java.lang.Object
-
- org.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.- Version:
- 4.8
-
-
Field Summary
Fields Modifier and Type Field Description (package private) ConstraintFncs
cf
(package private) boolean
debug
(package private) Tables
dictionary
(package private) static int
eq
(package private) static int
ge
(package private) static int
gt
(package private) static int
le
(package private) static int
lt
(package private) static int
ne
(package private) java.lang.String
p
(package private) SatTranslation
sat
(package private) Store
store
(package private) Support
support
-
Fields inherited from interface org.jacop.fz.ParserTreeConstants
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 Summary
Constructors Constructor Description Constraints(Store store, Tables dict)
It creates an object to parse the constraint part of the flatzinc file.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description (package private) void
generateAlias(SimpleNode constraintWithAnnotations)
(package private) void
generateAllConstraints(SimpleNode astTree)
(package private) void
generateConstraint(SimpleNode constraintWithAnnotations)
(package private) void
setOptions(Options options)
-
-
-
Field Detail
-
dictionary
Tables dictionary
-
store
Store store
-
p
java.lang.String p
-
debug
boolean debug
-
eq
static final int eq
- See Also:
- Constant Field Values
-
ne
static final int ne
- See Also:
- Constant Field Values
-
lt
static final int lt
- See Also:
- Constant Field Values
-
gt
static final int gt
- See Also:
- Constant Field Values
-
le
static final int le
- See Also:
- Constant Field Values
-
ge
static final int ge
- See Also:
- Constant Field Values
-
sat
SatTranslation sat
-
support
Support support
-
cf
final ConstraintFncs cf
-
-
Method Detail
-
setOptions
void setOptions(Options options)
-
generateAllConstraints
void generateAllConstraints(SimpleNode astTree) throws java.lang.Throwable
- Throws:
java.lang.Throwable
-
generateConstraint
void generateConstraint(SimpleNode constraintWithAnnotations) throws java.lang.Throwable
- Throws:
java.lang.Throwable
-
generateAlias
void generateAlias(SimpleNode constraintWithAnnotations)
-
-