choco.palm.integer
Interface PalmIntVarListener

All Superinterfaces:

java.util.EventListener, IntVarEventListener, PalmVarListener, VarEventListener

All Known Subinterfaces:

PalmMixedConstraint

All Known Implementing Classes:

AbstractPalmBinIntConstraint, AbstractPalmLargeIntConstraint, AbstractPalmTernIntConstraint, AbstractPalmUnIntConstraint, NogoodConstraint, PalmAllDifferent, PalmAssignment, PalmCardinality, PalmElt, PalmElt2D, PalmEqualXC, PalmEqualXYC, PalmGreaterOrEqualXC, PalmGreaterOrEqualXYC, PalmIntLinComb, PalmLessOrEqualXC, PalmMixedCstElt, PalmMixedEqXY, PalmNotEqualXC, PalmNotEqualXYC, PalmOccurence

public interface PalmIntVarListener
extends PalmVarListener, IntVarEventListener

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
void	awakeOnRestoreVal(int idx, int val) Handles a val restoration on the constraint idx
void	awakeOnRestoreVal(int idx, IntIterator it) Handles a val restoration on the constraint idx
java.util.Set	whyIsFalse() When all variables are instantiated, explains why the wonstraint is false.
java.util.Set	whyIsTrue() When all variables are instantiated, explains why the wonstraint is true.

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.integer.var.IntVarEventListener

awakeOnInf, awakeOnInst, awakeOnRem, 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

awakeOnRestoreSup

void awakeOnRestoreSup(int idx)
                       throws ContradictionException

Handles a sup bound restoration on the constraint idx

Parameters:

idx - Variable involved.

Throws:

ContradictionException

awakeOnRestoreVal

void awakeOnRestoreVal(int idx,
                       int val)
                       throws ContradictionException

Handles a val restoration on the constraint idx

Parameters:

idx - Variable involved.

Throws:

ContradictionException

awakeOnRestoreVal

void awakeOnRestoreVal(int idx,
                       IntIterator it)
                       throws ContradictionException

Handles a val restoration on the constraint idx

Parameters:

idx - Variable involved.

Throws:

ContradictionException

whyIsTrue

java.util.Set whyIsTrue()

When all variables are instantiated, explains why the wonstraint is true.

Returns:

A set of constraint justifying that the constraint is satisfied.

whyIsFalse

java.util.Set whyIsFalse()

When all variables are instantiated, explains why the wonstraint is false.

Returns:

A set of constraint justifying that the constraint is not satisfied.