Package org.jacop.fz.constraints
Class ComparisonConstraints
- java.lang.Object
-
- org.jacop.fz.constraints.ComparisonConstraints
-
- All Implemented Interfaces:
ParserTreeConstants
class ComparisonConstraints extends java.lang.Object implements ParserTreeConstants
Generation of comparison constraints in flatzinc
-
-
Field Summary
Fields Modifier and Type Field Description (package private) SatTranslation
sat
(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 ComparisonConstraints(Support support)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description (package private) boolean
binaryVar(IntVar v)
(package private) Constraint
fzXeqCImplied(IntVar x, java.lang.Integer c, IntVar b)
(package private) Constraint
fzXeqCReified(IntVar x, java.lang.Integer c, IntVar b)
(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 Detail
-
support
Support support
-
store
Store store
-
sat
SatTranslation sat
-
-
Constructor Detail
-
ComparisonConstraints
public ComparisonConstraints(Support support)
-
-
Method Detail
-
gen_bool_eq
void gen_bool_eq(SimpleNode node)
-
gen_bool_eq_reif
void gen_bool_eq_reif(SimpleNode node)
-
gen_bool_eq_imp
void gen_bool_eq_imp(SimpleNode node)
-
gen_bool_ne
void gen_bool_ne(SimpleNode node)
-
gen_bool_ne_reif
void gen_bool_ne_reif(SimpleNode node)
-
gen_bool_ne_imp
void gen_bool_ne_imp(SimpleNode node)
-
gen_bool_le
void gen_bool_le(SimpleNode node)
-
gen_bool_le_reif
void gen_bool_le_reif(SimpleNode node)
-
gen_bool_le_imp
void gen_bool_le_imp(SimpleNode node)
-
gen_bool_lt
void gen_bool_lt(SimpleNode node)
-
gen_bool_lt_reif
void gen_bool_lt_reif(SimpleNode node)
-
gen_bool_lt_imp
void gen_bool_lt_imp(SimpleNode node)
-
gen_bool_gt_imp
void gen_bool_gt_imp(SimpleNode node)
-
gen_bool_ge_imp
void gen_bool_ge_imp(SimpleNode node)
-
gen_int_eq
void gen_int_eq(SimpleNode node)
-
gen_int_eq_reif
void gen_int_eq_reif(SimpleNode node)
-
gen_int_eq_imp
void gen_int_eq_imp(SimpleNode node)
-
gen_int_ne
void gen_int_ne(SimpleNode node)
-
gen_int_ne_reif
void gen_int_ne_reif(SimpleNode node)
-
gen_int_ne_imp
void gen_int_ne_imp(SimpleNode node)
-
gen_int_le
void gen_int_le(SimpleNode node)
-
gen_int_le_reif
void gen_int_le_reif(SimpleNode node)
-
gen_int_le_imp
void gen_int_le_imp(SimpleNode node)
-
gen_int_lt
void gen_int_lt(SimpleNode node)
-
gen_int_lt_reif
void gen_int_lt_reif(SimpleNode node)
-
gen_int_lt_imp
void gen_int_lt_imp(SimpleNode node)
-
gen_int_gt_imp
void gen_int_gt_imp(SimpleNode node)
-
gen_int_ge_imp
void gen_int_ge_imp(SimpleNode node)
-
int_comparison
void int_comparison(int operation, SimpleNode node)
-
int_comparison_reif
void int_comparison_reif(int operation, SimpleNode node)
-
int_comparison_imp
void int_comparison_imp(int operation, SimpleNode node)
-
binaryVar
boolean binaryVar(IntVar v)
-
fzXeqCReified
Constraint fzXeqCReified(IntVar x, java.lang.Integer c, IntVar b)
-
fzXeqCImplied
Constraint fzXeqCImplied(IntVar x, java.lang.Integer c, IntVar b)
-
-