|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use AbstractSetSConstraint | |
---|---|
choco.cp.solver.constraints.set | |
choco.kernel.solver.constraints.set |
Uses of AbstractSetSConstraint in choco.cp.solver.constraints.set |
---|
Subclasses of AbstractSetSConstraint in choco.cp.solver.constraints.set | |
---|---|
class |
AllDisjoint
|
class |
ComplementSet
Created by IntelliJ IDEA. |
class |
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) |
class |
InverseSet
Created by IntelliJ IDEA. |
class |
IsIncluded
Specify a constraint to state x included y |
class |
IsNotIncluded
|
class |
MemberX
Enforce a value to belong to a setVar |
class |
NotMemberX
Ensure that a value will not belong to a setVar |
class |
SetEq
|
class |
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)) |
class |
SetLexicographicOrdering
Created by IntelliJ IDEA. |
class |
SetNaryUnion
|
class |
SetNotEq
A constraint to state that two set vars can not be equal |
class |
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)) |
class |
SetValuePrecede
Created by IntelliJ IDEA. |
Uses of AbstractSetSConstraint in choco.kernel.solver.constraints.set |
---|
Subclasses of AbstractSetSConstraint in choco.kernel.solver.constraints.set | |
---|---|
class |
AbstractBinSetSConstraint
|
class |
AbstractLargeSetSConstraint
|
class |
AbstractTernSetSConstraint
|
class |
AbstractUnSetSConstraint
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |