choco.cp.solver.configure
Class RestartFactory

java.lang.Object
  extended by 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

Method Summary
static void cancelRestarts(Solver solver)
           
static UniversalRestartStrategy createRestartStrategy(Solver solver)
           
static void setGeometricalRestartPolicy(Solver solver, int base, double grow)
           
static void setLubyRestartPolicy(Solver solver, int base, int grow)
           
static void setRecordNogoodFromRestart(Solver solver)
           
static void unsetRecordNogoodFromRestart(Solver solver)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

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.