Package org.jacop.fz.constraints
Class ComparisonConstraints
java.lang.Object
org.jacop.fz.constraints.ComparisonConstraints
- All Implemented Interfaces:
ParserTreeConstants
-
Field Summary
FieldsModifier and TypeFieldDescription(package private) SatTranslation
(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) boolean
(package private) void
gen_bool_eq
(SimpleNode node) (package private) void
gen_bool_eq_imp
(SimpleNode node) (package private) void
gen_bool_eq_reif
(SimpleNode node) (package private) void
gen_bool_ge_imp
(SimpleNode node) (package private) void
gen_bool_gt_imp
(SimpleNode node) (package private) void
gen_bool_le
(SimpleNode node) (package private) void
gen_bool_le_imp
(SimpleNode node) (package private) void
gen_bool_le_reif
(SimpleNode node) (package private) void
gen_bool_lt
(SimpleNode node) (package private) void
gen_bool_lt_imp
(SimpleNode node) (package private) void
gen_bool_lt_reif
(SimpleNode node) (package private) void
gen_bool_ne
(SimpleNode node) (package private) void
gen_bool_ne_imp
(SimpleNode node) (package private) void
gen_bool_ne_reif
(SimpleNode node) (package private) void
gen_int_eq
(SimpleNode node) (package private) void
gen_int_eq_imp
(SimpleNode node) (package private) void
gen_int_eq_reif
(SimpleNode node) (package private) void
gen_int_ge_imp
(SimpleNode node) (package private) void
gen_int_gt_imp
(SimpleNode node) (package private) void
gen_int_le
(SimpleNode node) (package private) void
gen_int_le_imp
(SimpleNode node) (package private) void
gen_int_le_reif
(SimpleNode node) (package private) void
gen_int_lt
(SimpleNode node) (package private) void
gen_int_lt_imp
(SimpleNode node) (package private) void
gen_int_lt_reif
(SimpleNode node) (package private) void
gen_int_ne
(SimpleNode node) (package private) void
gen_int_ne_imp
(SimpleNode node) (package private) void
gen_int_ne_reif
(SimpleNode node) (package private) boolean
generateForEq
(IntVar v1, IntVar v2, IntVar b) (package private) boolean
generateForEqC
(IntVar v1, int i2, IntVar b) (package private) boolean
generateForNeq
(IntVar v1, IntVar v2, IntVar b) (package private) boolean
generateForNeqC
(IntVar v1, int i2, IntVar b) (package private) void
int_comparison
(int operation, SimpleNode node) (package private) void
int_comparison_imp
(int operation, SimpleNode node) (package private) void
int_comparison_reif
(int operation, SimpleNode node)
-
Field Details
-
support
Support support -
store
Store store -
sat
SatTranslation sat
-
-
Constructor Details
-
ComparisonConstraints
-
-
Method Details
-
gen_bool_eq
-
gen_bool_eq_reif
-
gen_bool_eq_imp
-
gen_bool_ne
-
gen_bool_ne_reif
-
gen_bool_ne_imp
-
gen_bool_le
-
gen_bool_le_reif
-
gen_bool_le_imp
-
gen_bool_lt
-
gen_bool_lt_reif
-
gen_bool_lt_imp
-
gen_bool_gt_imp
-
gen_bool_ge_imp
-
gen_int_eq
-
gen_int_eq_reif
-
gen_int_eq_imp
-
gen_int_ne
-
gen_int_ne_reif
-
gen_int_ne_imp
-
gen_int_le
-
gen_int_le_reif
-
gen_int_le_imp
-
gen_int_lt
-
gen_int_lt_reif
-
gen_int_lt_imp
-
gen_int_gt_imp
-
gen_int_ge_imp
-
int_comparison
-
int_comparison_reif
-
int_comparison_imp
-
generateForEqC
-
generateForNeqC
-
generateForEq
-
generateForNeq
-
binaryVar
-