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