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.

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