Package choco.cp.solver.constraints.set

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.
 

Enum Summary
AbstractBoundOfASet.EmptySetPolicy  
 



Copyright © 2012. All Rights Reserved.