Package org.jacop.fz
Class Constraints
java.lang.Object
org.jacop.fz.Constraints
- All Implemented Interfaces:
ParserTreeConstants
The part of the parser responsible for parsing constraints.
- Version:
- 4.10
-
Field Summary
FieldsModifier and TypeFieldDescription(package private) long
(package private) long
(package private) final ConstraintFncs
(package private) boolean
(package private) Tables
(package private) static final int
(package private) static final int
(package private) static final int
(package private) static final int
(package private) static final int
(package private) static final int
(package private) long
(package private) String
(package private) SatTranslation
(package private) float
(package private) Store
(package private) Support
Fields inherited from interface org.jacop.fz.ParserTreeConstants
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 Summary
ConstructorsConstructorDescriptionConstraints
(Store store, Tables dict) It creates an object to parse the constraint part of the flatzinc file. -
Method Summary
Modifier and TypeMethodDescription(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 Details
-
dictionary
Tables dictionary -
store
Store store -
p
String p -
debug
boolean debug -
eq
static final int eq- See Also:
-
ne
static final int ne- See Also:
-
lt
static final int lt- See Also:
-
gt
static final int gt- See Also:
-
le
static final int le- See Also:
-
ge
static final int ge- See Also:
-
satThreshold
float satThreshold -
boolClauses
long boolClauses -
noConstraints
long noConstraints -
bool2Int
long bool2Int -
sat
SatTranslation sat -
support
Support support -
cf
-
-
Constructor Details
-
Constraints
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.dict
- the current dictionary (tables of all variables and constants)
-
-
Method Details