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

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
           
 



Copyright © 2012. All Rights Reserved.