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	Implementations of pseudo boolean solvers
org.sat4j.sat	Implementation of a sat4j Launcher.

Uses of RestartStrategy in org.sat4j.minisat.core

Methods in org.sat4j.minisat.core that return RestartStrategy

RestartStrategy	Solver.getRestartStrategy()
RestartStrategy	ICDCL.getRestartStrategy()

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

void	Solver.setRestartStrategy(RestartStrategy restarter)
void	ICDCL.setRestartStrategy(RestartStrategy restarter)

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

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

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

Solver(LearningStrategy<D> learner, D dsf, SearchParams params, IOrder order, RestartStrategy restarter, ICDCLLogger logger)

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(LearningStrategy<PBDataStructureFactory> learner, PBDataStructureFactory dsf, IOrder order, RestartStrategy restarter)

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

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

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

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

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

Uses of RestartStrategy in org.sat4j.sat

Classes in org.sat4j.sat that implement RestartStrategy

class

RemoteControlStrategy Strategy used by the solver when launched with the remote control.

Methods in org.sat4j.sat that return RestartStrategy

RestartStrategy	SolverController.getRestartStrategy()
RestartStrategy	RemoteControlStrategy.getRestartStrategy()
RestartStrategy	DetailedCommandPanel.getRestartStrategy()

Methods in org.sat4j.sat with parameters of type RestartStrategy

void	SolverController.setRestartStrategy(RestartStrategy strategy)
void	RemoteControlStrategy.setRestartStrategy(RestartStrategy restart)
void	DetailedCommandPanel.setRestartStrategy(RestartStrategy strategy)