Package org.jacop.fz.constraints

Class SetConstraints

java.lang.Object

org.jacop.fz.constraints.SetConstraints

All Implemented Interfaces:

ParserTreeConstants

class SetConstraints
extends 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, JJTSETELEMENT, JJTSETLITERAL, JJTSETTIEXPRTAIL, JJTSOLVEEXPR, JJTSOLVEITEM, JJTSOLVEKIND, JJTVARDECLITEM, JJTVARDECLITEMS, JJTVARIABLEEXPR, JJTVOID

Constructor Summary

Constructors

Constructor	Description
SetConstraints(Support support)

Method Summary

Modifier and Type	Method	Description
(package private) void	gen_int_set_channel(SimpleNode node)
(package private) void	gen_link_set_to_booleans(SimpleNode node)
(package private) void	gen_partition_set(SimpleNode node)
(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)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

support

Support support

store

Store store

Constructor Details

SetConstraints

public SetConstraints(Support support)

Method Details

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_int_set_channel

void gen_int_set_channel(SimpleNode node)

gen_link_set_to_booleans

void gen_link_set_to_booleans(SimpleNode node)

gen_partition_set

void gen_partition_set(SimpleNode node)

gen_set_superset

void gen_set_superset(SimpleNode node)

gen_set_superset_reif

void gen_set_superset_reif(SimpleNode node)