choco.kernel.solver.propagation.listener
Interface RealPropagator

All Known Implementing Classes:
AbstractBinRealIntSConstraint, AbstractLargeRealSConstraint, AbstractMixedSRealIntSConstraint, AbstractRealSConstraint, AbstractUnRealSConstraint, Equation, MixedCstElt, MixedEqXY, ReifiedAllSConstraint

public interface RealPropagator

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.
 

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


Copyright © 2012. All Rights Reserved.