choco.kernel.solver.search.restart
Interface UniversalRestartStrategy

All Superinterfaces:
IPretty
All Known Implementing Classes:
AbstractRestartStrategy, GeometricalRestartStrategy, LubyRestartStrategy, NoRestartStrategy

public interface UniversalRestartStrategy
extends IPretty

The interface defines a universal restart policy.

See Also:
Sinclair & Zuckerman
Optimal Speedup of Las Vegas Algorithms
IPL: Information Processing Letters, 1993, 47, 173-180

Method Summary
 double getGeometricalFactor()
           
 String getName()
           
 int getNextCutoff(int nbRestarts)
           
 int getScaleFactor()
           
 void setGeometricalFactor(double geometricalFactor)
           
 void setScaleFactor(int scaleFactor)
           
 
Methods inherited from interface choco.IPretty
pretty
 

Method Detail

getName

String getName()

getScaleFactor

int getScaleFactor()

setScaleFactor

void setScaleFactor(int scaleFactor)

getGeometricalFactor

double getGeometricalFactor()

setGeometricalFactor

void setGeometricalFactor(double geometricalFactor)

getNextCutoff

int getNextCutoff(int nbRestarts)


Copyright © 2012. All Rights Reserved.