choco.cp.solver.configure
Class RestartFactory
java.lang.Object
choco.cp.solver.configure.RestartFactory
public final class RestartFactory
- extends Object
- Since:
- 27 juil. 2009 version 2.1.1
- Version:
- 2.1.1
- Author:
- Arnaud Malapert
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
setLubyRestartPolicy
public static void setLubyRestartPolicy(Solver solver,
int base,
int grow)
setGeometricalRestartPolicy
public static void setGeometricalRestartPolicy(Solver solver,
int base,
double grow)
setRecordNogoodFromRestart
public static void setRecordNogoodFromRestart(Solver solver)
unsetRecordNogoodFromRestart
public static void unsetRecordNogoodFromRestart(Solver solver)
cancelRestarts
public static void cancelRestarts(Solver solver)
createRestartStrategy
public static UniversalRestartStrategy createRestartStrategy(Solver solver)
Copyright © 2012. All Rights Reserved.