Package org.jacop.fz.constraints
Class SetConstraints
- java.lang.Object
-
- org.jacop.fz.constraints.SetConstraints
-
- All Implemented Interfaces:
ParserTreeConstants
class SetConstraints extends java.lang.Object implements ParserTreeConstants
Generation of set constraints in flatzinc
-
-
Field Summary
Fields Modifier and Type Field Description (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 SetConstraints(Support support)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description (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
gen_set_subset_reif(SimpleNode node)
(package private) void
gen_set_superset(SimpleNode node)
(package private) void
gen_set_superset_reif(SimpleNode node)
(package private) void
gen_set_symdiff(SimpleNode node)
(package private) void
gen_set_union(SimpleNode node)
-
-
-
Constructor Detail
-
SetConstraints
public SetConstraints(Support support)
-
-
Method Detail
-
gen_set_card
void gen_set_card(SimpleNode node)
-
gen_set_diff
void gen_set_diff(SimpleNode node)
-
gen_set_eq
void gen_set_eq(SimpleNode node)
-
gen_set_eq_reif
void gen_set_eq_reif(SimpleNode node)
-
gen_set_in
void gen_set_in(SimpleNode node)
-
gen_set_in_reif
void gen_set_in_reif(SimpleNode node)
-
gen_set_in_imp
void gen_set_in_imp(SimpleNode node)
-
gen_set_intersect
void gen_set_intersect(SimpleNode node)
-
gen_set_le
void gen_set_le(SimpleNode node)
-
gen_set_le_reif
void gen_set_le_reif(SimpleNode node)
-
gen_set_lt
void gen_set_lt(SimpleNode node)
-
gen_set_lt_reif
void gen_set_lt_reif(SimpleNode node)
-
gen_set_ne
void gen_set_ne(SimpleNode node)
-
gen_set_ne_reif
void gen_set_ne_reif(SimpleNode node)
-
gen_set_subset
void gen_set_subset(SimpleNode node)
-
gen_set_subset_reif
void gen_set_subset_reif(SimpleNode node)
-
gen_set_symdiff
void gen_set_symdiff(SimpleNode node)
-
gen_set_union
void gen_set_union(SimpleNode node)
-
gen_set_superset
void gen_set_superset(SimpleNode node)
-
gen_set_superset_reif
void gen_set_superset_reif(SimpleNode node)
-
-