choco.real.constraint
Interface RealListener

All Superinterfaces:

java.util.EventListener, VarEventListener

All Known Subinterfaces:

MixedConstraint, PalmMixedConstraint, PalmRealVarListener, RealConstraint

All Known Implementing Classes:

AbstractLargeRealConstraint, AbstractPalmSplit, AbstractPalmUnRealConstraint, AbstractUnRealConstraint, Equation, MixedCstElt, MixedEqXY, PalmEquation, PalmMixedCstElt, PalmMixedEqXY, PalmSplitLeft, PalmSplitRight

public interface RealListener
extends VarEventListener

An interface for real event listener (like real constraints for instance).

Method Summary

void	awakeOnInf(int idx) Default propagation on improved lower bound: propagation on domain revision.
void	awakeOnSup(int idx) 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 idx)
                throws ContradictionException

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

Throws:

ContradictionException

awakeOnSup

void awakeOnSup(int idx)
                throws ContradictionException

Default propagation on improved upper bound: 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