Package org.jacop.fz.constraints
Class ElementConstraints
- java.lang.Object
-
- org.jacop.fz.constraints.ElementConstraints
-
- All Implemented Interfaces:
ParserTreeConstants
class ElementConstraints extends java.lang.Object implements ParserTreeConstants
Generation of boolean constraints in flatzinc
-
-
Field Summary
Fields Modifier and Type Field Description (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 ElementConstraints(Support support)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description (package private) boolean
allFloatSingleton(FloatVar[] vs)
(package private) boolean
allSingleton(IntVar[] vs)
(package private) void
gen_array_float_element(SimpleNode node)
(package private) void
gen_array_int_element(SimpleNode node)
(package private) void
gen_array_set_element(SimpleNode node)
(package private) void
gen_array_var_float_element(SimpleNode node)
(package private) void
gen_array_var_int_element(SimpleNode node)
(package private) void
gen_array_var_set_element(SimpleNode node)
(package private) void
generateFloatElementConstraint(SimpleNode node)
(package private) void
generateIntElementConstraint(SimpleNode node)
(package private) void
generateSetElementConstraint(SimpleNode node)
(package private) void
generateVarElementConstraint(SimpleNode node)
(package private) void
generateVarFloatElementConstraint(SimpleNode node)
(package private) void
generateVarSetElementConstraint(SimpleNode node)
(package private) void
poseElementFloat(IntVar p1, double[] p2, FloatVar p3)
(package private) void
poseElementInteger(IntVar p1, int[] p2, IntVar p3)
-
-
-
Constructor Detail
-
ElementConstraints
public ElementConstraints(Support support)
-
-
Method Detail
-
gen_array_int_element
void gen_array_int_element(SimpleNode node)
-
gen_array_var_int_element
void gen_array_var_int_element(SimpleNode node)
-
gen_array_var_set_element
void gen_array_var_set_element(SimpleNode node)
-
gen_array_set_element
void gen_array_set_element(SimpleNode node)
-
gen_array_float_element
void gen_array_float_element(SimpleNode node)
-
gen_array_var_float_element
void gen_array_var_float_element(SimpleNode node)
-
generateIntElementConstraint
void generateIntElementConstraint(SimpleNode node) throws FailException
- Throws:
FailException
-
generateVarElementConstraint
void generateVarElementConstraint(SimpleNode node) throws FailException
- Throws:
FailException
-
generateSetElementConstraint
void generateSetElementConstraint(SimpleNode node) throws FailException
- Throws:
FailException
-
generateVarSetElementConstraint
void generateVarSetElementConstraint(SimpleNode node) throws FailException
- Throws:
FailException
-
generateFloatElementConstraint
void generateFloatElementConstraint(SimpleNode node) throws FailException
- Throws:
FailException
-
generateVarFloatElementConstraint
void generateVarFloatElementConstraint(SimpleNode node) throws FailException
- Throws:
FailException
-
allSingleton
boolean allSingleton(IntVar[] vs)
-
allFloatSingleton
boolean allFloatSingleton(FloatVar[] vs)
-
-