Package org.jacop.fz.constraints
Class FloatComparisonConstraints
java.lang.Object
org.jacop.fz.constraints.FloatComparisonConstraints
- 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_comparison
(int operation, SimpleNode node) (package private) void
gen_float_eq
(SimpleNode node) (package private) void
gen_float_eq_reif
(SimpleNode node) (package private) void
gen_float_le
(SimpleNode node) (package private) void
gen_float_le_reif
(SimpleNode node) (package private) void
gen_float_lt
(SimpleNode node) (package private) void
gen_float_lt_reif
(SimpleNode node) (package private) void
gen_float_ne
(SimpleNode node) (package private) void
gen_float_ne_reif
(SimpleNode node)