choco.integer.var
Interface IntVarEventListener

All Superinterfaces:

java.util.EventListener, VarEventListener

All Known Subinterfaces:

BoolConstraint, CompositeConstraint, IntConstraint, MixedConstraint, PalmIntVarListener, PalmMixedConstraint

All Known Implementing Classes:

AbstractBinBoolConstraint, AbstractBinBoolConstraintWithCounterOpposite, AbstractBinCompositeConstraint, AbstractBinIntConstraint, AbstractBinSetIntConstraint, AbstractBipartiteFlow, AbstractBipartiteGraph, AbstractBipartiteMatching, AbstractCompositeConstraint, AbstractIntConstraint, AbstractLargeBoolConstraint, AbstractLargeBoolConstraintWithCounterOpposite, AbstractLargeCompositeConstraint, AbstractLargeIntConstraint, AbstractMixedConstraint, AbstractPalmBinIntConstraint, AbstractPalmLargeIntConstraint, AbstractPalmTernIntConstraint, AbstractPalmUnIntConstraint, AbstractTernIntConstraint, AbstractUnIntConstraint, AC2001BinConstraint, AC3BinConstraint, AC4BinConstraint, AllDifferent, BinConjunction, BinDisjunction, BooleanChanneling, BoundAllDiff, Cardinality, CspBinConstraint, CspLargeConstraint, Cumulative, Element, ElementV, EqualXC, EqualXYC, Equiv, GAC2001LargeConstraint, GlobalCardinality, GreaterOrEqualXC, GreaterOrEqualXYC, Guard, IntLinComb, InverseChanneling, LargeConjunction, LargeDisjunction, LessOrEqualXC, Lex, MemberXY, MixedCstElt, MixedEqXY, NogoodConstraint, NotEqualXC, NotEqualXYC, NotMemberXY, Occurrence, PalmAllDifferent, PalmAssignment, PalmCardinality, PalmElt, PalmElt2D, PalmEqualXC, PalmEqualXYC, PalmGreaterOrEqualXC, PalmGreaterOrEqualXYC, PalmIntLinComb, PalmLessOrEqualXC, PalmMixedCstElt, PalmMixedEqXY, PalmNotEqualXC, PalmNotEqualXYC, PalmOccurence, SetCard, TimesXYZ

public interface IntVarEventListener
extends VarEventListener

An interface for all the search variable listeners.

Method Summary

void	awakeOnInf(int varIdx) Default propagation on improved lower bound: propagation on domain revision.
void	awakeOnInst(int varIdx) Default propagation on instantiation: full constraint re-propagation.
void	awakeOnRem(int varIdx, int val) Default propagation on one value removal: propagation on domain revision.
void	awakeOnSup(int varIdx) Default propagation on improved upper bound: propagation on domain revision.
int	getConstraintIdx(int idx) Network management: Among all listeners linked to the idx-th variable of c, find the index of constraint c.
void	setConstraintIndex(int i, int idx) Network management: Storing that among all listeners linked to the i-th variable of c, this (the current constraint) is found at index idx.

Methods inherited from interface choco.prop.VarEventListener

addListener, awakeOnVar, isActive, setActive, setPassive

Method Detail

awakeOnInf

void awakeOnInf(int varIdx)
                throws ContradictionException

Default propagation on improved lower bound: propagation on domain revision.

Throws:

ContradictionException

awakeOnSup

void awakeOnSup(int varIdx)
                throws ContradictionException

Default propagation on improved upper bound: propagation on domain revision.

Throws:

ContradictionException

awakeOnInst

void awakeOnInst(int varIdx)
                 throws ContradictionException

Default propagation on instantiation: full constraint re-propagation.

Throws:

ContradictionException

awakeOnRem

void awakeOnRem(int varIdx,
                int val)
                throws ContradictionException

Default propagation on one value removal: propagation on domain revision.

Throws:

ContradictionException

setConstraintIndex

void setConstraintIndex(int i,
                        int idx)

Network management: Storing that among all listeners linked to the i-th variable of c, this (the current constraint) is found at index idx.

Parameters:

i - index of the variable in the constraint

idx - index of the constraint in the among all listeners linked to that variable

getConstraintIdx

int getConstraintIdx(int idx)

Network management: Among all listeners linked to the idx-th variable of c, find the index of constraint c.

Parameters:

idx - index of the variable in the constraint