choco.set
Interface SetConstraint

All Superinterfaces:

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

All Known Implementing Classes:

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

public interface SetConstraint
extends Constraint, Propagator, SetVarEventListener

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

Method Summary

void	awakeOnEnvRemovals(int varIdx, IntIterator deltaDomain)
void	awakeOnkerAdditions(int varIdx, IntIterator deltaDomain)
SetVar	getSetVar(int i)

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.set.var.SetVarEventListener

awakeOnEnv, awakeOnInst, awakeOnKer, getConstraintIdx, setConstraintIndex

Methods inherited from interface choco.prop.VarEventListener

addListener, isActive, setActive, setPassive

Method Detail

getSetVar

SetVar getSetVar(int i)

awakeOnkerAdditions

void awakeOnkerAdditions(int varIdx,
                         IntIterator deltaDomain)
                         throws ContradictionException

Throws:

ContradictionException

awakeOnEnvRemovals

void awakeOnEnvRemovals(int varIdx,
                        IntIterator deltaDomain)
                        throws ContradictionException

Throws:

ContradictionException