Package org.jacop.fz.constraints
Class FloatLinearConstraints
java.lang.Object
org.jacop.fz.constraints.FloatLinearConstraints
- All Implemented Interfaces:
ParserTreeConstants
Generation of set constraints in flatzinc
-
Field Summary
FieldsModifier and TypeFieldDescription(package private) boolean
(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
Constructors -
Method Summary
Modifier and TypeMethodDescription(package private) void
float_lin_relation
(int operation, SimpleNode node) (package private) void
gen_float_lin_eq
(SimpleNode node) (package private) void
(package private) void
gen_float_lin_le
(SimpleNode node) (package private) void
(package private) void
gen_float_lin_lt
(SimpleNode node) (package private) void
(package private) void
gen_float_lin_ne
(SimpleNode node) (package private) void
-
Field Details
-
Constructor Details
-
FloatLinearConstraints
-
-
Method Details
-
gen_float_lin_eq
-
gen_float_lin_eq_reif
-
gen_float_lin_le
-
gen_float_lin_le_reif
-
gen_float_lin_lt
-
gen_float_lin_lt_reif
-
gen_float_lin_ne
-
gen_float_lin_ne_reif
-
float_lin_relation
- Throws:
FailException
-