Uses of Interface
org.sat4j.minisat.core.RestartStrategy

Packages that use RestartStrategy

org.sat4j.minisat.core	Implementation of the MiniSAT solver skeleton.
org.sat4j.minisat.restarts	Various restart strategies.

Uses of RestartStrategy in org.sat4j.minisat.core

Methods in org.sat4j.minisat.core with parameters of type RestartStrategy

void	Solver.setRestartStrategy(RestartStrategy restarter)

Constructors in org.sat4j.minisat.core with parameters of type RestartStrategy

Solver(AssertingClauseGenerator acg, LearningStrategy<L,D> learner, D dsf, IOrder<L> order, RestartStrategy restarter)
creates a Solver without LearningListener.

Solver(AssertingClauseGenerator acg, LearningStrategy<L,D> learner, D dsf, SearchParams params, IOrder<L> order, RestartStrategy restarter)

Uses of RestartStrategy in org.sat4j.minisat.restarts

Classes in org.sat4j.minisat.restarts that implement RestartStrategy

class	ArminRestarts Rapid restart strategy presented by Armin Biere during it's SAT 07 invited talk.
class	LubyRestarts Luby series
class	MiniSATRestarts Minisat original restart strategy.