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.7
-
-
Field Summary
Fields Modifier and Type Field Description (package private) int
n
(package private) long
scale
-
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 int
getLuby(int i)
void
newLimit()
java.lang.String
toString()
-
Methods inherited from class org.jacop.search.restart.Calculator
executeAfterConsistency, getFailLimit, getNumberFails, pointsExhausted, setChildrenListeners, setChildrenListeners, setFailLimit
-
-
-
-
Method Detail
-
newLimit
public void newLimit()
- Specified by:
newLimit
in classCalculator
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
getLuby
public int getLuby(int i)
-
-