|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectchoco.kernel.solver.propagation.Propagator
choco.kernel.solver.constraints.AbstractSConstraint<Var>
choco.kernel.solver.constraints.set.AbstractMixedSetIntSConstraint
choco.cp.solver.constraints.set.AmongSet
public final 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. Propagator : C. Bessi�re, E. Hebrard, B. Hnich, Z. Kiziltan, T. Walsh, Among, common and disjoint Constraints CP-2005
Field Summary |
---|
Fields inherited from class choco.kernel.solver.constraints.AbstractSConstraint |
---|
cIndices, constraintType, extensions, vars |
Fields inherited from class choco.kernel.solver.propagation.Propagator |
---|
active, constAwakeEvent, priority, propagationEngine |
Fields inherited from interface choco.kernel.solver.constraints.SConstraint |
---|
LOGGER |
Constructor Summary | |
---|---|
AmongSet(Var[] vars,
IEnvironment environment)
Constructs a constraint with the specified priority. |
Method Summary | |
---|---|
void |
awake()
Propagation: Propagating the constraint for the very first time until local consistency is reached. |
void |
awakeOnEnv(int varIdx,
int x)
Default propagation on enveloppe modification: propagation on removing a value from the enveloppe. |
void |
awakeOnInst(int varIdx)
Default propagation on instantiation. |
void |
awakeOnKer(int varIdx,
int x)
Default propagation on kernel modification: propagation on adding a value to the kernel. |
void |
awakeOnRem(int varIdx,
int val)
Default propagation on one value removal: propagation on domain revision. |
int |
getFilteredEventMask(int idx)
|
boolean |
isSatisfied()
Semantic: Testing if the constraint is satisfied. |
String |
pretty()
pretty printing of the object. |
void |
propagate()
Propagation: Propagating the constraint until local consistency is reached. |
Methods inherited from class choco.kernel.solver.constraints.set.AbstractMixedSetIntSConstraint |
---|
awakeOnBounds, awakeOnEnvRemovals, awakeOnInf, awakeOnkerAdditions, awakeOnRemovals, awakeOnSup, getConstraintType, isConsistent, isSatisfied |
Methods inherited from class choco.kernel.solver.constraints.AbstractSConstraint |
---|
addExtension, addListener, clone, getAbstractSConstraintExtensionNumber, getConstraintIdx, getExtension, getFineDegree, getNbVarNotInst, getNbVars, getVar, getVarQuick, isCompletelyInstantiated, isEntailed, opposite, setConstraintIndex, setExtension, setVar, toString |
Methods inherited from class choco.kernel.solver.propagation.Propagator |
---|
activate, constAwake, fail, getEvent, getPriority, isActive, setActive, setActiveSilently, setEntailed, setPassive, setPropagationEngine |
Methods inherited from class java.lang.Object |
---|
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public AmongSet(Var[] vars, IEnvironment environment)
Method Detail |
---|
public int getFilteredEventMask(int idx)
getFilteredEventMask
in class Propagator
public void awake() throws ContradictionException
awake
in class Propagator
ContradictionException
- contradiction exceptionpublic void propagate() throws ContradictionException
propagate
in class Propagator
ContradictionException
- contradiction exceptionpublic void awakeOnKer(int varIdx, int x) throws ContradictionException
SetPropagator
awakeOnKer
in interface SetPropagator
awakeOnKer
in class AbstractMixedSetIntSConstraint
ContradictionException
public void awakeOnEnv(int varIdx, int x) throws ContradictionException
SetPropagator
awakeOnEnv
in interface SetPropagator
awakeOnEnv
in class AbstractMixedSetIntSConstraint
ContradictionException
public void awakeOnInst(int varIdx) throws ContradictionException
SetPropagator
awakeOnInst
in interface IntPropagator
awakeOnInst
in interface SetPropagator
awakeOnInst
in class AbstractMixedSetIntSConstraint
ContradictionException
public void awakeOnRem(int varIdx, int val) throws ContradictionException
awakeOnRem
in interface IntPropagator
awakeOnRem
in class AbstractMixedSetIntSConstraint
ContradictionException
public boolean isSatisfied()
public String pretty()
IPretty
pretty
in interface IPretty
pretty
in class AbstractSConstraint<Var>
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |