|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |