choco.kernel.solver.propagation.listener
Interface TaskPropagator

All Known Implementing Classes:
AbstractCumulativeSConstraint, AbstractResourceSConstraint, AbstractTaskSConstraint, AbstractUseResourcesSConstraint, AltCumulative, AltDisjunctive, Cumulative, Disjunctive, ForbiddenIntervals, TempTaskConstraintWrapper, UseResourcesEq, UseResourcesGeq

public interface TaskPropagator

An interface for all the search variable listeners.


Method Summary
 void awakeOnHypDomMod(int varIdx)
          Default propagation on improved hypothetical domain: propagation on domain revision.
 

Method Detail

awakeOnHypDomMod

void awakeOnHypDomMod(int varIdx)
                      throws ContradictionException
Default propagation on improved hypothetical domain: propagation on domain revision.

Throws:
ContradictionException


Copyright © 2012. All Rights Reserved.