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 indexth 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.

Copyright © 2022. All rights reserved.