Package org.jacop.search.restart
Class LubyCalculator
java.lang.Object
org.jacop.search.restart.Calculator
org.jacop.search.restart.LubyCalculator
- All Implemented Interfaces:
ConsistencyListener
Defines functionality for constant calculator for restart search.
- Version:
- 4.10
-
Field Summary
FieldsFields inherited from class org.jacop.search.restart.Calculator
child, failLimit, numberFails
-
Constructor Summary
Constructors -
Method Summary
Methods inherited from class org.jacop.search.restart.Calculator
executeAfterConsistency, getFailLimit, getNumberFails, pointsExhausted, setChildrenListeners, setChildrenListeners, setFailLimit
-
Field Details
-
scale
long scale -
n
int n
-
-
Constructor Details
-
LubyCalculator
public LubyCalculator(int scale)
-
-
Method Details
-
newLimit
public void newLimit()- Specified by:
newLimit
in classCalculator
-
toString
-
getLuby
public int getLuby(int i)
-