choco.kernel.solver.search.measure
Class FailMeasure
java.lang.Object
choco.kernel.solver.search.measure.FailMeasure
- All Implemented Interfaces:
- PropagationEngineListener
public class FailMeasure
- extends Object
- implements PropagationEngineListener
Measure counting the number of fails
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
FailMeasure
public FailMeasure(PropagationEngine propagationEngine)
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.