choco.kernel.solver.propagation.listener
Interface SetPropagator

All Known Implementing Classes:
AbstractBinSetIntSConstraint, AbstractBinSetSConstraint, AbstractBoundOfASet, AbstractLargeSetIntSConstraint, AbstractLargeSetSConstraint, AbstractMixedSetIntSConstraint, AbstractSetSConstraint, AbstractTernSetSConstraint, AbstractUnSetSConstraint, AllDisjoint, AmongSet, ComplementSet, Disjoint, InverseSet, InverseSetInt, IsIncluded, IsNotIncluded, MaxOfASet, MemberX, MemberXiY, MemberXY, MinOfASet, NotMemberX, NotMemberXY, PackSConstraint, ReifiedAllSConstraint, SetCard, SetEq, SetIntersection, SetLexicographicOrdering, SetNaryUnion, SetNotEq, SetUnion, SetValuePrecede

public interface SetPropagator


Method Summary
 void awakeOnEnv(int varIdx, int x)
          Default propagation on enveloppe modification: propagation on removing a value from the enveloppe.
 void awakeOnEnvRemovals(int varIdx, DisposableIntIterator deltaDomain)
          BEWARE: No need to dipose the iterator, this done in the calling methode
 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.
 void awakeOnkerAdditions(int varIdx, DisposableIntIterator deltaDomain)
          BEWARE: No need to dipose the iterator, this done in the calling methode
 

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

awakeOnkerAdditions

void awakeOnkerAdditions(int varIdx,
                         DisposableIntIterator deltaDomain)
                         throws ContradictionException
BEWARE: No need to dipose the iterator, this done in the calling methode

Parameters:
varIdx -
deltaDomain -
Throws:
ContradictionException

awakeOnEnvRemovals

void awakeOnEnvRemovals(int varIdx,
                        DisposableIntIterator deltaDomain)
                        throws ContradictionException
BEWARE: No need to dipose the iterator, this done in the calling methode

Parameters:
varIdx -
deltaDomain -
Throws:
ContradictionException


Copyright © 2012. All Rights Reserved.