choco.kernel.solver.search.restart
Class LubyRestartStrategy

java.lang.Object
  extended by choco.kernel.solver.search.restart.AbstractRestartStrategy
      extended by choco.kernel.solver.search.restart.LubyRestartStrategy
All Implemented Interfaces:
IPretty, UniversalRestartStrategy

public final class LubyRestartStrategy
extends AbstractRestartStrategy


Field Summary
 
Fields inherited from class choco.kernel.solver.search.restart.AbstractRestartStrategy
geometricalFactor, scaleFactor
 
Constructor Summary
LubyRestartStrategy(int scaleFactor, int geometricalFactor)
           
 
Method Summary
protected  int getLasVegasCoef(int i)
           
 int getNextCutoff(int nbRestarts)
           
 void setGeometricalFactor(double geometricalFactor)
           
 
Methods inherited from class choco.kernel.solver.search.restart.AbstractRestartStrategy
checkPositiveValue, getGeometricalFactor, getName, getScaleFactor, getSequenceExample, pretty, setScaleFactor
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

LubyRestartStrategy

public LubyRestartStrategy(int scaleFactor,
                           int geometricalFactor)
Method Detail

setGeometricalFactor

public final void setGeometricalFactor(double geometricalFactor)
Specified by:
setGeometricalFactor in interface UniversalRestartStrategy
Overrides:
setGeometricalFactor in class AbstractRestartStrategy

getLasVegasCoef

protected final int getLasVegasCoef(int i)

getNextCutoff

public int getNextCutoff(int nbRestarts)


Copyright © 2012. All Rights Reserved.