Uses of Class
choco.kernel.solver.constraints.set.AbstractTernSetSConstraint

Packages that use AbstractTernSetSConstraint
choco.cp.solver.constraints.set   
 

Uses of AbstractTernSetSConstraint in choco.cp.solver.constraints.set
 

Subclasses of AbstractTernSetSConstraint in choco.cp.solver.constraints.set
 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 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))
 



Copyright © 2012. All Rights Reserved.