Class Summary |
AbstractBoundOfASet |
An abstract class used for MaxOfASet and MinOfaSet constraints |
AllDisjoint |
|
AmongSet |
User : cprudhom
Mail : cprudhom(a)emn.fr
Date : 23 f�vr. 2010
Since : Choco 2.1.1
NVAR is the number of variables of the collection VARIABLES that take their value in SVAR. |
ComplementSet |
Created by IntelliJ IDEA. |
Disjoint |
A constraint stating that two sets have to be disjoint :
It is based on two propagation rules :
Env(v1) disjoint Ker(v2)
Env(v2) disjoint Ker(v1) |
InverseSet |
Created by IntelliJ IDEA. |
InverseSetInt |
A constraint stating that
value j belongs to the s[i] set variable
iff integer variable x[j] equals to i. |
IsIncluded |
Specify a constraint to state x included y |
IsNotIncluded |
|
MaxOfASet |
Implements a constraint X = max(Y_i | i \in S). |
MemberX |
Enforce a value to belong to a setVar |
MemberXiY |
MEMBERXiY(〈X1,... |
MemberXiY.MemberXiYManager |
|
MemberXY |
Ensure that an int variable belongs to a set variable |
MinOfASet |
|
NotMemberX |
Ensure that a value will not belong to a setVar |
NotMemberXY |
Ensure that an int variable does not belong to a set variable |
SetCard |
|
SetEq |
|
SetIntersection |
A constraint stating that a set is the intersection of two others
There are seven propagation rules for the constraint sv3 = intersection(sv1, sv2)
Ker(sv1) contains Ker(sv3)
Ker(sv2) contains Ker(sv3)
Ker(sv3) contains (Ker(sv1) inter Ker(sv2))
Env(v3) disjoint Complement(Env(v1))
Env(v3) disjoint Complement(Env(v2))
Env(v2) disjoint Ker(v1) inter Complement(Env(v3))
Env(v1) disjoint Ker(v2) inter Complement(Env(v3)) |
SetLexicographicOrdering |
Created by IntelliJ IDEA. |
SetNaryUnion |
|
SetNotEq |
A constraint to state that two set vars can not be equal |
SetUnion |
A constraint stating that a set is the union of two others
There are seven propagation rules for the constraint sv3 = union(sv1, sv2)
Ker(sv1) contains Ker(sv3)
Ker(sv2) contains Ker(sv3)
Ker(sv3) contains (Ker(sv1) inter Ker(sv2))
Env(v3) disjoint Complement(Env(v1))
Env(v3) disjoint Complement(Env(v2))
Env(v2) disjoint Ker(v1) inter Complement(Env(v3))
Env(v1) disjoint Ker(v2) inter Complement(Env(v3)) |
SetValuePrecede |
Created by IntelliJ IDEA. |