choco.kernel.solver.propagation.listener
Interface PropagationEngineListener

All Known Implementing Classes:
AbstractDomOverWDegBinBranching, AbstractDomOverWDegBranching, DomOverWDeg, DomOverWDegBinBranchingNew, DomOverWDegBranching, DomOverWDegBranchingNew, DomOverWDegRPC, DomOverWDegSelector, FailMeasure, RandDomOverWDegSelector, TaskOverWDegBinBranching

public interface PropagationEngineListener


Method Summary
 void contradictionOccured(ContradictionException e)
           
 void safeDelete()
          Define action to do just before a deletion.
 

Method Detail

contradictionOccured

void contradictionOccured(ContradictionException e)

safeDelete

void safeDelete()
Define action to do just before a deletion.



Copyright © 2012. All Rights Reserved.