|
||||||||||
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<SetVar>
choco.kernel.solver.constraints.set.AbstractSetSConstraint
choco.kernel.solver.constraints.set.AbstractLargeSetSConstraint
choco.kernel.solver.constraints.set.AbstractUnSetSConstraint
choco.cp.solver.constraints.set.MemberX
public final class MemberX
Enforce a value to belong to a setVar
Field Summary | |
---|---|
protected int |
cste
|
Fields inherited from class choco.kernel.solver.constraints.set.AbstractUnSetSConstraint |
---|
v0 |
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 | |
---|---|
MemberX(SetVar v,
int val)
|
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. |
Object |
clone()
Clone the constraint |
int |
getFilteredEventMask(int idx)
|
boolean |
isConsistent()
tests if the constraint is consistent with respect to the current state of domains |
Boolean |
isEntailed()
Checks if the listeners must be checked or must fail. |
boolean |
isSatisfied()
Semantic: Testing if the constraint is satisfied. |
AbstractSConstraint<SetVar> |
opposite(Solver solver)
Get the opposite constraint |
String |
pretty()
pretty printing of the object. |
void |
propagate()
Propagation: Propagating the constraint until local consistency is reached. |
String |
toString()
|
Methods inherited from class choco.kernel.solver.constraints.set.AbstractSetSConstraint |
---|
awakeOnEnvRemovals, awakeOnkerAdditions, getConstraintType |
Methods inherited from class choco.kernel.solver.constraints.AbstractSConstraint |
---|
addExtension, addListener, getAbstractSConstraintExtensionNumber, getConstraintIdx, getExtension, getFineDegree, getNbVarNotInst, getNbVars, getVar, getVarQuick, isCompletelyInstantiated, setConstraintIndex, setExtension, setVar |
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 |
Field Detail |
---|
protected int cste
Constructor Detail |
---|
public MemberX(SetVar v, int val)
Method Detail |
---|
public int getFilteredEventMask(int idx)
getFilteredEventMask
in class Propagator
public Object clone() throws CloneNotSupportedException
AbstractSConstraint
clone
in class AbstractSConstraint<SetVar>
CloneNotSupportedException
- Clone not supported exceptionpublic void awake() throws ContradictionException
Propagator
awake
in class Propagator
ContradictionException
- contradiction exceptionpublic void propagate() throws ContradictionException
Propagator
propagate
in class Propagator
ContradictionException
- contradiction exceptionpublic void awakeOnInst(int varIdx) throws ContradictionException
SetPropagator
awakeOnInst
in interface SetPropagator
awakeOnInst
in class AbstractSetSConstraint
ContradictionException
public void awakeOnEnv(int varIdx, int x) throws ContradictionException
SetPropagator
awakeOnEnv
in interface SetPropagator
awakeOnEnv
in class AbstractSetSConstraint
ContradictionException
public void awakeOnKer(int varIdx, int x) throws ContradictionException
SetPropagator
awakeOnKer
in interface SetPropagator
awakeOnKer
in class AbstractSetSConstraint
ContradictionException
public boolean isSatisfied()
SConstraint
public boolean isConsistent()
Propagator
isConsistent
in class Propagator
public String toString()
toString
in class AbstractSConstraint<SetVar>
public String pretty()
IPretty
pretty
in interface IPretty
pretty
in class AbstractSConstraint<SetVar>
public Boolean isEntailed()
isEntailed
in class AbstractSConstraint<SetVar>
public AbstractSConstraint<SetVar> opposite(Solver solver)
AbstractSConstraint
opposite
in interface SConstraint<SetVar>
opposite
in class AbstractSConstraint<SetVar>
solver
- the current solver
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |