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



Copyright © 2010 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.