Package org.jacop.fz.constraints
Class SetConstraints
java.lang.Object
org.jacop.fz.constraints.SetConstraints
- All Implemented Interfaces:
ParserTreeConstants
Generation of set constraints in flatzinc
-
Field Summary
FieldsFields 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
gen_set_card
(SimpleNode node) (package private) void
gen_set_diff
(SimpleNode node) (package private) void
gen_set_eq
(SimpleNode node) (package private) void
gen_set_eq_reif
(SimpleNode node) (package private) void
gen_set_in
(SimpleNode node) (package private) void
gen_set_in_imp
(SimpleNode node) (package private) void
gen_set_in_reif
(SimpleNode node) (package private) void
gen_set_intersect
(SimpleNode node) (package private) void
gen_set_le
(SimpleNode node) (package private) void
gen_set_le_reif
(SimpleNode node) (package private) void
gen_set_lt
(SimpleNode node) (package private) void
gen_set_lt_reif
(SimpleNode node) (package private) void
gen_set_ne
(SimpleNode node) (package private) void
gen_set_ne_reif
(SimpleNode node) (package private) void
gen_set_subset
(SimpleNode node) (package private) void
(package private) void
gen_set_superset
(SimpleNode node) (package private) void
(package private) void
gen_set_symdiff
(SimpleNode node) (package private) void
gen_set_union
(SimpleNode node)
-
Field Details
-
Constructor Details
-
SetConstraints
-
-
Method Details
-
gen_set_card
-
gen_set_diff
-
gen_set_eq
-
gen_set_eq_reif
-
gen_set_in
-
gen_set_in_reif
-
gen_set_in_imp
-
gen_set_intersect
-
gen_set_le
-
gen_set_le_reif
-
gen_set_lt
-
gen_set_lt_reif
-
gen_set_ne
-
gen_set_ne_reif
-
gen_set_subset
-
gen_set_subset_reif
-
gen_set_symdiff
-
gen_set_union
-
gen_set_superset
-
gen_set_superset_reif
-