Package org.jacop.set.constraints
package org.jacop.set.constraints
-
ClassesClassDescriptionIt 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.The disjoint set constraint makes sure that two set variables do not contain any common element.It creates an equality constraint to make sure that two set variables have the same value.It creates an equality constraint to make sure that a set variable is equal to a given set.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.It creates a constraint that makes sure that value of the variable A is included within a provided set.It creates a constraint that makes sure that A intersected with B is equal to C.It creates a <= b constraint on two set variables.It creates a < b constraint on two set variables.It creates a constraint that makes sure that A union B is equal to C.The set cardinality constraint.The set cardinality constraint.It constructs a constraint which makes sure that a given element is in the domain of the set variable.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 constraint defines a relation list[index - indexOffset] = value.Deprecated.As of release 4.5.1 replaced by AltB and AleB constraints.This constraint matches the elements of the given set variable onto a list of integer variables.It creates an inclusion set constraint to make sure that provided set is included in a set variable a.It computes a weighted sum of the elements in the domain of the given set variable.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.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.