Uses of Interface
choco.kernel.solver.propagation.listener.SetPropagator

Packages that use SetPropagator
choco.cp.solver.constraints.global.pack   
choco.cp.solver.constraints.reified   
choco.cp.solver.constraints.set   
choco.cp.solver.variables.set   
choco.kernel.memory.structure   
choco.kernel.solver.constraints.set   
 

Uses of SetPropagator in choco.cp.solver.constraints.global.pack
 

Classes in choco.cp.solver.constraints.global.pack that implement SetPropagator
 class PackSConstraint
          Pack which maintains a primal-dual packing model.
 

Uses of SetPropagator in choco.cp.solver.constraints.reified
 

Classes in choco.cp.solver.constraints.reified that implement SetPropagator
 class ReifiedAllSConstraint
          A constraint that allows to reify another constraint into a boolean value.
 

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

Classes in choco.cp.solver.constraints.set that implement SetPropagator
 class AbstractBoundOfASet
          An abstract class used for MaxOfASet and MinOfaSet constraints
 class AllDisjoint
           
 class 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.

 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 InverseSetInt
          A constraint stating that value j belongs to the s[i] set variable iff integer variable x[j] equals to i.
 class IsIncluded
          Specify a constraint to state x included y
 class IsNotIncluded
           
 class MaxOfASet
          Implements a constraint X = max(Y_i | i \in S).
 class MemberX
          Enforce a value to belong to a setVar
 class MemberXiY
          MEMBERXiY(〈X1,...
 class MemberXY
          Ensure that an int variable belongs to a set variable
 class MinOfASet
           
 class NotMemberX
          Ensure that a value will not belong to a setVar
 class NotMemberXY
          Ensure that an int variable does not belong to a set variable
 class SetCard
           
 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 SetPropagator in choco.cp.solver.variables.set
 

Classes in choco.cp.solver.variables.set with type parameters of type SetPropagator
 class SetVarEvent<C extends AbstractSConstraint & SetPropagator>
           
 class SetVarImpl<C extends AbstractSConstraint & SetPropagator>
          History: 2007-12-07 : FR_1873619 CPRU: DomOverDeg+DomOverWDeg
 

Uses of SetPropagator in choco.kernel.memory.structure
 

Classes in choco.kernel.memory.structure with type parameters of type SetPropagator
 class PartiallyStoredSetCstrList<C extends AbstractSConstraint & SetPropagator>
           
 

Uses of SetPropagator in choco.kernel.solver.constraints.set
 

Classes in choco.kernel.solver.constraints.set that implement SetPropagator
 class AbstractBinSetIntSConstraint
           
 class AbstractBinSetSConstraint
           
 class AbstractLargeSetIntSConstraint
          A class to represent a large constraint including both set and int variables in its scope.
 class AbstractLargeSetSConstraint
           
 class AbstractMixedSetIntSConstraint
          A class for mixed set and int constraint.
 class AbstractSetSConstraint
           
 class AbstractTernSetSConstraint
           
 class AbstractUnSetSConstraint
           
 



Copyright © 2012. All Rights Reserved.