|
||||||||||
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.kernel.solver.constraints.set.AbstractBinSetIntSConstraint
choco.cp.solver.constraints.set.MemberXY
public final class MemberXY
Ensure that an int variable belongs to a set variable
Field Summary |
---|
Fields inherited from class choco.kernel.solver.constraints.set.AbstractBinSetIntSConstraint |
---|
v0, v1 |
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 | |
---|---|
MemberXY(SetVar set,
IntDomainVar iv)
|
Method Summary | |
---|---|
void |
awakeOnEnv(int varIdx,
int x)
Default propagation on enveloppe modification: propagation on removing a value from the enveloppe. |
void |
awakeOnInf(int idx)
Default propagation on improved lower bound: propagation on domain revision. |
void |
awakeOnInst(int varIdx)
Default propagation on instantiation. |
void |
awakeOnRem(int idx,
int x)
Default propagation on one value removal: propagation on domain revision. |
void |
awakeOnSup(int idx)
Default propagation on improved upper bound: propagation on domain revision. |
void |
filter()
|
int |
getFilteredEventMask(int idx)
|
boolean |
isConsistent()
tests if the constraint is consistent with respect to the current state of domains |
Boolean |
isEntailed()
Indicates if the constraint is entailed, from now on will be always satisfied |
boolean |
isSatisfied()
Semantic: Testing if the constraint is satisfied. |
AbstractSConstraint<Var> |
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.AbstractBinSetIntSConstraint |
---|
getIntVar, getSetVar |
Methods inherited from class choco.kernel.solver.constraints.set.AbstractMixedSetIntSConstraint |
---|
awakeOnBounds, awakeOnEnvRemovals, awakeOnKer, awakeOnkerAdditions, awakeOnRemovals, getConstraintType, isSatisfied |
Methods inherited from class choco.kernel.solver.constraints.AbstractSConstraint |
---|
addExtension, addListener, clone, getAbstractSConstraintExtensionNumber, getConstraintIdx, getExtension, getFineDegree, getNbVarNotInst, getNbVars, getVar, getVarQuick, isCompletelyInstantiated, setConstraintIndex, setExtension, setVar |
Methods inherited from class choco.kernel.solver.propagation.Propagator |
---|
activate, awake, 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 MemberXY(SetVar set, IntDomainVar iv)
Method Detail |
---|
public int getFilteredEventMask(int idx)
getFilteredEventMask
in class Propagator
public void filter() throws ContradictionException
ContradictionException
public void awakeOnInf(int idx) throws ContradictionException
AbstractMixedSetIntSConstraint
awakeOnInf
in interface IntPropagator
awakeOnInf
in class AbstractMixedSetIntSConstraint
ContradictionException
public void awakeOnSup(int idx) throws ContradictionException
AbstractMixedSetIntSConstraint
awakeOnSup
in interface IntPropagator
awakeOnSup
in class AbstractMixedSetIntSConstraint
ContradictionException
public void awakeOnRem(int idx, int x) throws ContradictionException
AbstractMixedSetIntSConstraint
awakeOnRem
in interface IntPropagator
awakeOnRem
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 propagate() throws ContradictionException
Propagator
propagate
in class Propagator
ContradictionException
- contradiction exceptionpublic boolean isSatisfied()
SConstraint
public boolean isConsistent()
AbstractMixedSetIntSConstraint
isConsistent
in class AbstractMixedSetIntSConstraint
public String toString()
toString
in class AbstractSConstraint<Var>
public String pretty()
IPretty
pretty
in interface IPretty
pretty
in class AbstractSConstraint<Var>
public Boolean isEntailed()
AbstractSConstraint
isEntailed
in class AbstractSConstraint<Var>
public AbstractSConstraint<Var> opposite(Solver solver)
AbstractSConstraint
opposite
in interface SConstraint<Var>
opposite
in class AbstractSConstraint<Var>
solver
- the current solver
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |