- java.lang.Object
-
- org.chocosolver.solver.search.limits.ACounter
-
- org.chocosolver.solver.search.limits.SolutionCounter
-
- All Implemented Interfaces:
ICounter
,Criterion
,LongCriterion
public class SolutionCounter extends ACounter
Set a limit over the number of found solutions 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
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface org.chocosolver.solver.search.limits.ICounter
ICounter.Impl
-
-
Constructor Summary
Constructors Constructor Description SolutionCounter(Model model, long solutionlimit)
SolutionCounter(IMeasures measures, long solutionlimit)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description long
currentValue()
-
Methods inherited from class org.chocosolver.solver.search.limits.ACounter
getLimitValue, init, isMet, isMet, overrideLimit, update
-
-