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

Uses of SearchParams in org.sat4j.minisat.core

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

SearchParams

RestartStrategy.getSearchParams()

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)
void	ICDCL.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)

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

Uses of SearchParams in org.sat4j.minisat.restarts

Methods in org.sat4j.minisat.restarts that return SearchParams

SearchParams	NoRestarts.getSearchParams()
SearchParams	MiniSATRestarts.getSearchParams()
SearchParams	LubyRestarts.getSearchParams()
SearchParams	ArminRestarts.getSearchParams()

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

void	NoRestarts.init(SearchParams params)
void	MiniSATRestarts.init(SearchParams theParams)
void	LubyRestarts.init(SearchParams params)
void	ArminRestarts.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)

Uses of SearchParams in org.sat4j.sat

Methods in org.sat4j.sat that return SearchParams

SearchParams	SolverController.getSearchParams()
SearchParams	RemoteControlStrategy.getSearchParams()
SearchParams	DetailedCommandPanel.getSearchParams()

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

void	SolverController.init(SearchParams params)
void	RemoteControlStrategy.init(SearchParams params)
void	DetailedCommandPanel.init(SearchParams params)