|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
public interface PalmRealVarListener
| Method Summary | |
|---|---|
void |
awakeOnRestoreInf(int idx)
Handles an inf bound restoration on the constraint idx |
void |
awakeOnRestoreSup(int idx)
Handles a sup bound restoration on the constraint idx |
| Methods inherited from interface choco.palm.PalmVarListener |
|---|
getConstraintIdx, setConstraintIndex, updateDataStructuresOnConstraint, updateDataStructuresOnRestoreConstraint |
| Methods inherited from interface choco.prop.VarEventListener |
|---|
addListener, awakeOnVar, isActive, setActive, setPassive |
| Methods inherited from interface choco.real.constraint.RealListener |
|---|
awakeOnInf, awakeOnSup, getConstraintIdx, setConstraintIndex |
| Methods inherited from interface choco.prop.VarEventListener |
|---|
addListener, awakeOnVar, isActive, setActive, setPassive |
| Method Detail |
|---|
void awakeOnRestoreInf(int idx)
throws ContradictionException
idx
idx - Variable involved.
ContradictionException
void awakeOnRestoreSup(int idx)
throws ContradictionException
idx
idx - Variable involved.
ContradictionException
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||