Package org.jacop.set.constraints

Class Summary

Class	Description
AdiffBeqC	It creates a constraints that subtracts from set variable A the elements from of the set variable B and assigns the result to set variable C.
AdisjointB	The disjoint set constraint makes sure that two set variables do not contain any common element.
AeqB	It creates an equality constraint to make sure that two set variables have the same value.
AeqS	It creates an equality constraint to make sure that a set variable is equal to a given set.
AinB	It creates a constraint that makes sure that the set value of set variable A is included in the set value of set variable B.
AinS	It creates a constraint that makes sure that value of the variable A is included within a provided set.
AintersectBeqC	It creates a constraint that makes sure that A intersected with B is equal to C.
AleB	It creates a <= b constraint on two set variables.
AltB	It creates a < b constraint on two set variables.
AunionBeqC	It creates a constraint that makes sure that A union B is equal to C.
CardA	The set cardinality constraint.
CardAeqX	The set cardinality constraint.
EinA	It constructs a constraint which makes sure that a given element is in the domain of the set variable.
ElementSet	It is an element constraint that make sure that set variable value has a domain equal to the index-th element of the supplied list of sets.
ElementSetVariable	ElementSetVariable constraint defines a relation list[index - indexOffset] = value.
Lex	Deprecated As of release 4.5.1 replaced by AltB and AleB constraints.
Match	This constraint matches the elements of the given set variable onto a list of integer variables.
SinA	It creates an inclusion set constraint to make sure that provided set is included in a set variable a.
SumWeightedSet	It computes a weighted sum of the elements in the domain of the given set variable.
XeqA	It creates a constraint that makes sure that the value assigned to the integer variable x is the only element of the set assigned to a set variable a.
XinA	It creates a constraint that makes sure that the value assigned to integer variable x is included in the set assigned to the set variable a.