org.chocosolver.solver.search.limits

Class FailCounter

java.lang.Object

org.chocosolver.solver.search.limits.ACounter

org.chocosolver.solver.search.limits.FailCounter

All Implemented Interfaces:

Serializable, ICounter, IMonitorContradiction, IMonitorInitialize, ISearchMonitor

public final class FailCounter
extends ACounter
implements IMonitorContradiction

Set a limit over the number of fails allowed during the search. When this limit is reached, the search loop is informed and the resolution is stopped.

Since:

15 juil. 2010

Author:

Charles Prud'homme

See Also:

Serialized Form

Field Summary

Fields inherited from class org.chocosolver.solver.search.limits.ACounter

action, current, max

Constructor Summary

Constructors

Constructor and Description
FailCounter(long faillimit)

Method Summary

Methods

Modifier and Type	Method and Description
void	onContradiction(ContradictionException cex)

Methods inherited from class org.chocosolver.solver.search.limits.ACounter

afterInitialize, beforeInitialize, getLimitValue, incCounter, init, isReached, overrideLimit, reset, setAction, setCounter, update

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

FailCounter

public FailCounter(long faillimit)

Method Detail

onContradiction

public void onContradiction(ContradictionException cex)

Specified by:

onContradiction in interface IMonitorContradiction