choco.kernel.solver.search.measure
Class FailMeasure

java.lang.Object
  extended by choco.kernel.solver.search.measure.FailMeasure
All Implemented Interfaces:
PropagationEngineListener

public class FailMeasure
extends Object
implements PropagationEngineListener

Measure counting the number of fails


Constructor Summary
FailMeasure(PropagationEngine propagationEngine)
           
 
Method Summary
 void contradictionOccured(ContradictionException e)
           
 int getFailCount()
           
 void safeAdd()
          Define action to do just before a addition.
 void safeDelete()
          Define action to do just before a deletion.
 void safeReset()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

FailMeasure

public FailMeasure(PropagationEngine propagationEngine)
Method Detail

safeAdd

public final void safeAdd()
Define action to do just before a addition.


safeDelete

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

Specified by:
safeDelete in interface PropagationEngineListener

safeReset

public final void safeReset()

getFailCount

public final int getFailCount()

contradictionOccured

public void contradictionOccured(ContradictionException e)
Specified by:
contradictionOccured in interface PropagationEngineListener


Copyright © 2012. All Rights Reserved.