org.sat4j.pb.restarts

Class GrowingCoefficientRestarts

java.lang.Object

org.sat4j.pb.restarts.GrowingCoefficientRestarts

All Implemented Interfaces:

Serializable, ConflictTimer, RestartStrategy

public class GrowingCoefficientRestarts
extends Object
implements RestartStrategy

Author:

wallon

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
GrowingCoefficientRestarts()

Method Summary

Modifier and Type	Method and Description
void	init(SearchParams params, SolverStats stats)
void	newConflict()
void	newLearnedClause(Constr learned, int trailLevel)
long	nextRestartNumberOfConflict()
void	onBackjumpToRootLevel()
void	onRestart()
void	reset()
boolean	shouldRestart()
String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

GrowingCoefficientRestarts

public GrowingCoefficientRestarts()

Method Detail

reset

public void reset()

Specified by:

reset in interface ConflictTimer

newConflict

public void newConflict()

Specified by:

newConflict in interface ConflictTimer

init

public void init(SearchParams params,
                 SolverStats stats)

Specified by:

init in interface RestartStrategy

nextRestartNumberOfConflict

public long nextRestartNumberOfConflict()

Specified by:

nextRestartNumberOfConflict in interface RestartStrategy

shouldRestart

public boolean shouldRestart()

Specified by:

shouldRestart in interface RestartStrategy

onRestart

public void onRestart()

Specified by:

onRestart in interface RestartStrategy

onBackjumpToRootLevel

public void onBackjumpToRootLevel()

Specified by:

onBackjumpToRootLevel in interface RestartStrategy

newLearnedClause

public void newLearnedClause(Constr learned,
                             int trailLevel)

Specified by:

newLearnedClause in interface RestartStrategy

toString

public String toString()

Overrides:

toString in class Object