choco.set.var
Interface SetVarEventListener

All Superinterfaces:

java.util.EventListener, VarEventListener

All Known Subinterfaces:

SetConstraint

All Known Implementing Classes:

AbstractBinSetConstraint, AbstractBinSetIntConstraint, AbstractMixedConstraint, AbstractSetConstraint, AbstractTernSetConstraint, AbstractUnSetConstraint, Disjoint, MemberX, MemberXY, NotMemberX, NotMemberXY, SetCard, SetIntersection

public interface SetVarEventListener
extends VarEventListener

Created by IntelliJ IDEA. User: Hadrien Date: 6 juin 2004 Time: 14:08:38 To change this template use File | Settings | File Templates.

Method Summary

void	awakeOnEnv(int varIdx, int x) Default propagation on enveloppe modification: propagation on removing a value from the enveloppe.
void	awakeOnInst(int varIdx) Default propagation on instantiation.
void	awakeOnKer(int varIdx, int x) Default propagation on kernel modification: propagation on adding a value to the kernel.
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

awakeOnKer

void awakeOnKer(int varIdx,
                int x)
                throws ContradictionException

Default propagation on kernel modification: propagation on adding a value to the kernel.

Throws:

ContradictionException

awakeOnEnv

void awakeOnEnv(int varIdx,
                int x)
                throws ContradictionException

Default propagation on enveloppe modification: propagation on removing a value from the enveloppe.

Throws:

ContradictionException

awakeOnInst

void awakeOnInst(int varIdx)
                 throws ContradictionException

Default propagation on instantiation.

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