|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface SetPropagator
Method Summary | |
---|---|
void |
awakeOnEnv(int varIdx,
int x)
Default propagation on enveloppe modification: propagation on removing a value from the enveloppe. |
void |
awakeOnEnvRemovals(int varIdx,
DisposableIntIterator deltaDomain)
BEWARE: No need to dipose the iterator, this done in the calling methode |
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 varIdx,
DisposableIntIterator deltaDomain)
BEWARE: No need to dipose the iterator, this done in the calling methode |
Method Detail |
---|
void awakeOnKer(int varIdx, int x) throws ContradictionException
ContradictionException
void awakeOnEnv(int varIdx, int x) throws ContradictionException
ContradictionException
void awakeOnInst(int varIdx) throws ContradictionException
ContradictionException
void awakeOnkerAdditions(int varIdx, DisposableIntIterator deltaDomain) throws ContradictionException
varIdx
- deltaDomain
-
ContradictionException
void awakeOnEnvRemovals(int varIdx, DisposableIntIterator deltaDomain) throws ContradictionException
varIdx
- deltaDomain
-
ContradictionException
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |