Package org.jacop.search.restart
Class LubyCalculator<T extends Var>
- java.lang.Object
-
- org.jacop.search.restart.Calculator
-
- org.jacop.search.restart.LubyCalculator<T>
-
- All Implemented Interfaces:
ConsistencyListener
public class LubyCalculator<T extends Var> extends Calculator
Defines functionality for constant calculator for restart search- Version:
- 4.8
-
-
Field Summary
Fields Modifier and Type Field Description (package private) intn(package private) longscale-
Fields inherited from class org.jacop.search.restart.Calculator
child, failLimit, numberFails
-
-
Constructor Summary
Constructors Constructor Description LubyCalculator(int scale)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description intgetLuby(int i)voidnewLimit()java.lang.StringtoString()-
Methods inherited from class org.jacop.search.restart.Calculator
executeAfterConsistency, getFailLimit, getNumberFails, pointsExhausted, setChildrenListeners, setChildrenListeners, setFailLimit
-
-
-
-
Method Detail
-
newLimit
public void newLimit()
- Specified by:
newLimitin classCalculator
-
toString
public java.lang.String toString()
- Overrides:
toStringin classjava.lang.Object
-
getLuby
public int getLuby(int i)
-
-