|
||||||||||
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.real.AbstractMixedSRealIntSConstraint
choco.kernel.solver.constraints.real.AbstractBinRealIntSConstraint
choco.cp.solver.constraints.real.MixedEqXY
public final class MixedEqXY
Field Summary |
---|
Fields inherited from class choco.kernel.solver.constraints.real.AbstractBinRealIntSConstraint |
---|
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 | |
---|---|
MixedEqXY(RealVar v0,
IntDomainVar v1)
|
Method Summary | |
---|---|
void |
awakeOnBounds(int varIdx)
|
void |
awakeOnInf(int idx)
Default propagation on improved lower bound: propagation on domain revision. |
void |
awakeOnInst(int varIdx)
Default propagation on instantiation: full constraint re-propagation. |
void |
awakeOnRem(int varIdx,
int val)
Default propagation on one value removal: propagation on domain revision. |
void |
awakeOnRemovals(int varIdx,
DisposableIntIterator deltaDomain)
|
void |
awakeOnSup(int idx)
Default propagation on improved upper bound: propagation on domain revision. |
Object |
clone()
Clone the constraint |
boolean |
isConsistent()
tests if the constraint is consistent with respect to the current state of domains |
boolean |
isSatisfied()
Semantic: Testing if the constraint is satisfied. |
void |
propagate()
Propagation: Propagating the constraint until local consistency is reached. |
protected void |
updateIInf()
|
protected void |
updateISup()
|
protected void |
updateReal()
|
Methods inherited from class choco.kernel.solver.constraints.real.AbstractBinRealIntSConstraint |
---|
getConstraintType, getIntVar, getIntVarNb, getRealVar, getRealVarNb, isSatisfied |
Methods inherited from class choco.kernel.solver.constraints.AbstractSConstraint |
---|
addExtension, addListener, getAbstractSConstraintExtensionNumber, getConstraintIdx, getExtension, getFineDegree, getNbVarNotInst, getNbVars, getVar, getVarQuick, isCompletelyInstantiated, isEntailed, opposite, pretty, setConstraintIndex, setExtension, setVar, toString |
Methods inherited from class choco.kernel.solver.propagation.Propagator |
---|
activate, awake, constAwake, fail, getEvent, getFilteredEventMask, 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 MixedEqXY(RealVar v0, IntDomainVar v1)
Method Detail |
---|
public Object clone() throws CloneNotSupportedException
AbstractSConstraint
clone
in class AbstractBinRealIntSConstraint
CloneNotSupportedException
- Clone not supported exceptionpublic boolean isConsistent()
Propagator
isConsistent
in class Propagator
public boolean isSatisfied()
SConstraint
public void propagate() throws ContradictionException
Propagator
propagate
in class Propagator
ContradictionException
- contradiction exceptionpublic void awakeOnInf(int idx) throws ContradictionException
IntPropagator
ContradictionException
public void awakeOnSup(int idx) throws ContradictionException
IntPropagator
ContradictionException
public void awakeOnInst(int varIdx) throws ContradictionException
IntPropagator
ContradictionException
public void awakeOnRem(int varIdx, int val) throws ContradictionException
IntPropagator
ContradictionException
public void awakeOnRemovals(int varIdx, DisposableIntIterator deltaDomain) throws ContradictionException
ContradictionException
public void awakeOnBounds(int varIdx) throws ContradictionException
ContradictionException
protected void updateIInf() throws ContradictionException
ContradictionException
protected void updateISup() throws ContradictionException
ContradictionException
protected void updateReal() throws ContradictionException
ContradictionException
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |