Uses of Class
org.sat4j.minisat.core.SearchParams

Packages that use SearchParams

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

Uses of SearchParams in org.sat4j.minisat.core

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

void	RestartStrategy.init(SearchParams params) Hook method called just before the search starts.
void	Solver.setSearchParams(SearchParams sp)

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

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

Uses of SearchParams in org.sat4j.minisat.restarts

Methods in org.sat4j.minisat.restarts with parameters of type SearchParams

void	ArminRestarts.init(SearchParams theParams)
void	NoRestarts.init(SearchParams params)
void	LubyRestarts.init(SearchParams params)
void	MiniSATRestarts.init(SearchParams theParams)

Uses of SearchParams in org.sat4j.pb.core

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

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

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

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

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

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

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