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.9

Author:

Krzysztof Kuchcinski

Constructor Summary

Constructors

Constructor and Description
LubyCalculator(int scale)

Method Summary

Modifier and Type	Method and Description
int	getLuby(int i)
void	newLimit()
String	toString()

Methods inherited from class org.jacop.search.restart.Calculator

executeAfterConsistency, getFailLimit, getNumberFails, pointsExhausted, setChildrenListeners, setChildrenListeners, setFailLimit

Methods inherited from class java.lang.Object

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

Constructor Detail

LubyCalculator

public LubyCalculator(int scale)

Method Detail

newLimit

public void newLimit()

Specified by:

newLimit in class Calculator

toString

public String toString()

Overrides:

toString in class Object

getLuby

public int getLuby(int i)