|
||||||||||
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
public abstract class AbstractMixedSetIntSConstraint
A class for mixed set and int constraint. It refers to both interface SetConstraint and IntConstraint and implements a default behaviour for all events awakeOn...
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 | |
---|---|
protected |
AbstractMixedSetIntSConstraint(Var[] vars)
Constructs a mixed set-int constraint |
Method Summary | |
---|---|
void |
awakeOnBounds(int varIndex)
|
void |
awakeOnEnv(int varIdx,
int x)
Default propagation on enveloppe modification: propagation on removing a value from the enveloppe. |
void |
awakeOnEnvRemovals(int idx,
DisposableIntIterator deltaDomain)
BEWARE: No need to dipose the iterator, this done in the calling methode |
void |
awakeOnInf(int varIdx)
Default propagation on improved lower bound: propagation on domain revision. |
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 |
awakeOnkerAdditions(int idx,
DisposableIntIterator deltaDomain)
BEWARE: No need to dipose the iterator, this done in the calling methode |
void |
awakeOnRem(int varIdx,
int val)
Default propagation on one value removal: propagation on domain revision. |
void |
awakeOnRemovals(int idx,
DisposableIntIterator deltaDomain)
The default implementation of propagation when a variable has been modified consists in iterating all values that have been removed (the delta domain) and propagate them one after another, incrementally. |
void |
awakeOnSup(int varIdx)
Default propagation on improved upper bound: propagation on domain revision. |
SConstraintType |
getConstraintType()
Return the type of constraint, ie the type of variable involved in the constraint |
boolean |
isConsistent()
tests if the constraint is consistent with respect to the current state of domains |
boolean |
isSatisfied(int[] tuple)
|
Methods inherited from class choco.kernel.solver.constraints.AbstractSConstraint |
---|
addExtension, addListener, clone, 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, propagate, setActive, setActiveSilently, setEntailed, setPassive, setPropagationEngine |
Methods inherited from class java.lang.Object |
---|
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Methods inherited from interface choco.kernel.solver.constraints.SConstraint |
---|
isSatisfied |
Constructor Detail |
---|
protected AbstractMixedSetIntSConstraint(Var[] vars)
vars
- list of variablesMethod Detail |
---|
public void awakeOnRemovals(int idx, DisposableIntIterator deltaDomain) throws ContradictionException
awakeOnRemovals
in interface IntPropagator
idx
-
ContradictionException
public void awakeOnBounds(int varIndex) throws ContradictionException
awakeOnBounds
in interface IntPropagator
ContradictionException
public void awakeOnKer(int varIdx, int x) throws ContradictionException
SetPropagator
awakeOnKer
in interface SetPropagator
ContradictionException
public void awakeOnEnv(int varIdx, int x) throws ContradictionException
SetPropagator
awakeOnEnv
in interface SetPropagator
ContradictionException
public void awakeOnInst(int varIdx) throws ContradictionException
SetPropagator
awakeOnInst
in interface IntPropagator
awakeOnInst
in interface SetPropagator
ContradictionException
public void awakeOnRem(int varIdx, int val) throws ContradictionException
awakeOnRem
in interface IntPropagator
ContradictionException
public void awakeOnInf(int varIdx) throws ContradictionException
awakeOnInf
in interface IntPropagator
ContradictionException
public void awakeOnSup(int varIdx) throws ContradictionException
awakeOnSup
in interface IntPropagator
ContradictionException
public void awakeOnEnvRemovals(int idx, DisposableIntIterator deltaDomain) throws ContradictionException
SetPropagator
awakeOnEnvRemovals
in interface SetPropagator
ContradictionException
public void awakeOnkerAdditions(int idx, DisposableIntIterator deltaDomain) throws ContradictionException
SetPropagator
awakeOnkerAdditions
in interface SetPropagator
ContradictionException
public boolean isSatisfied(int[] tuple)
isSatisfied
in interface IntPropagator
public SConstraintType getConstraintType()
SConstraint
getConstraintType
in interface SConstraint<Var>
public boolean isConsistent()
isConsistent
in class Propagator
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |