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

Packages that use SearchParams

org.sat4j.minisat.constraints.pb	Implementations of pseudo boolean contraints.
org.sat4j.minisat.core	Implementation of the MiniSAT solver skeleton.
org.sat4j.minisat.restarts

Uses of SearchParams in org.sat4j.minisat.constraints.pb

Constructors in org.sat4j.minisat.constraints.pb with parameters of type SearchParams

PBSolver(AssertingClauseGenerator acg, LearningStrategy<L> learner, DataStructureFactory<L> dsf, SearchParams params, IOrder<L> order)

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

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(AssertingClauseGenerator acg, LearningStrategy<L> learner, DataStructureFactory<L> dsf, SearchParams params, IOrder<L> order, RestartStrategy restarter)

Uses of SearchParams in org.sat4j.minisat.restarts

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

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