Package org.jacop.fz.constraints
Class ElementConstraints
java.lang.Object
org.jacop.fz.constraints.ElementConstraints
- All Implemented Interfaces:
ParserTreeConstants
Generation of boolean constraints in flatzinc
-
Field Summary
FieldsFields 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 -
Method Summary
Modifier and TypeMethodDescription(package private) boolean
allFloatSingleton
(FloatVar[] vs) (package private) boolean
allSingleton
(IntVar[] vs) (package private) void
(package private) void
(package private) void
(package private) void
(package private) void
(package private) void
(package private) void
(package private) void
(package private) void
(package private) void
(package private) void
(package private) void
(package private) void
poseElementFloat
(IntVar p1, double[] p2, FloatVar p3) (package private) void
poseElementInteger
(IntVar p1, int[] p2, IntVar p3)
-
Field Details
-
Constructor Details
-
ElementConstraints
-
-
Method Details
-
gen_array_int_element
-
gen_array_var_int_element
-
gen_array_var_set_element
-
gen_array_set_element
-
gen_array_float_element
-
gen_array_var_float_element
-
generateIntElementConstraint
- Throws:
FailException
-
poseElementInteger
-
generateVarElementConstraint
- Throws:
FailException
-
generateSetElementConstraint
- Throws:
FailException
-
generateVarSetElementConstraint
- Throws:
FailException
-
generateFloatElementConstraint
- Throws:
FailException
-
generateVarFloatElementConstraint
- Throws:
FailException
-
poseElementFloat
-
allSingleton
-
allFloatSingleton
-