choco.palm
Interface PalmConstraint

All Superinterfaces:

java.lang.Cloneable, Constraint, Entity, java.util.EventListener, PalmVarListener, Propagator, VarEventListener

All Known Subinterfaces:

DecisionConstraint, SymbolicDecision

All Known Implementing Classes:

AbstractDecision, AbstractPalmBinIntConstraint, AbstractPalmLargeIntConstraint, AbstractPalmSplit, AbstractPalmTernIntConstraint, AbstractPalmUnIntConstraint, Assignment, NogoodConstraint, PalmAllDifferent, PalmAssignment, PalmCardinality, PalmElt, PalmElt2D, PalmEqualXC, PalmEqualXYC, PalmGreaterOrEqualXC, PalmGreaterOrEqualXYC, PalmIntLinComb, PalmLessOrEqualXC, PalmNotEqualXC, PalmNotEqualXYC, PalmOccurence, PalmSplitLeft, PalmSplitRight

public interface PalmConstraint
extends Propagator, PalmVarListener

Method Summary

void	takeIntoAccountStatusChange(int index) Informs constraints that one of their children has a modified status (due to value restoration).

Methods inherited from interface choco.Propagator

assignIndices, awake, awakeOnVar, constAwake, delete, getEvent, getPlugIn, getPriority, isCompletelyInstantiated, isConsistent, isEntailed, propagate

Methods inherited from interface choco.prop.VarEventListener

addListener, isActive, setActive, setPassive

Methods inherited from interface choco.Constraint

clone, getConstraintIdx, getNbVars, getVar, getVarIdxInOpposite, isEquivalentTo, isSatisfied, opposite, setConstraintIndex, setVar

Methods inherited from interface choco.Entity

getProblem, pretty

Methods inherited from interface choco.palm.PalmVarListener

getConstraintIdx, setConstraintIndex, updateDataStructuresOnConstraint, updateDataStructuresOnRestoreConstraint

Methods inherited from interface choco.prop.VarEventListener

addListener, isActive, setActive, setPassive

Method Detail

takeIntoAccountStatusChange

void takeIntoAccountStatusChange(int index)

Informs constraints that one of their children has a modified status (due to value restoration).