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.
org.sat4j.pb.core

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<D> learner, D dsf, IOrder order, RestartStrategy restarter)
creates a Solver without LearningListener.

Solver(AssertingClauseGenerator acg, LearningStrategy<D> learner, D dsf, SearchParams params, IOrder 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.
class	NoRestarts Disable restarts in the solver.

Uses of RestartStrategy in org.sat4j.pb.core

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

PBSolver(AssertingClauseGenerator acg, LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, IOrder order, RestartStrategy restarter)

PBSolver(AssertingClauseGenerator acg, LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, SearchParams params, IOrder order, RestartStrategy restarter)

PBSolverCP(AssertingClauseGenerator acg, LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, SearchParams params, IOrder order, RestartStrategy restarter)

PBSolverResCP(AssertingClauseGenerator acg, LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, SearchParams params, IOrder order, RestartStrategy restarter)

PBSolverResolution(AssertingClauseGenerator acg, LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, IOrder order, RestartStrategy restarter)

PBSolverResolution(AssertingClauseGenerator acg, LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, SearchParams params, IOrder order, RestartStrategy restarter)