choco.palm.real
Interface PalmRealVarListener

All Superinterfaces:

java.util.EventListener, PalmVarListener, RealListener, VarEventListener

All Known Subinterfaces:

PalmMixedConstraint

All Known Implementing Classes:

AbstractPalmSplit, AbstractPalmUnRealConstraint, PalmEquation, PalmMixedCstElt, PalmMixedEqXY, PalmSplitLeft, PalmSplitRight

public interface PalmRealVarListener
extends PalmVarListener, RealListener

Interface for listeners that need to be warned when modification on real variables occurs.

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

awakeOnRestoreInf

void awakeOnRestoreInf(int idx)
                       throws ContradictionException

Handles an inf bound restoration on the constraint idx.

Parameters:

idx - Variable involved.

Throws:

ContradictionException - if a contradiction occurs

awakeOnRestoreSup

void awakeOnRestoreSup(int idx)
                       throws ContradictionException

Handles a sup bound restoration on the constraint idx.

Parameters:

idx - Variable involved.

Throws:

ContradictionException - if a contradiction occurs