Uses of Interface
org.sat4j.minisat.core.RestartStrategy

Packages that use RestartStrategy

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 RestartStrategy in org.sat4j.minisat.constraints.pb

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

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

Uses of RestartStrategy in org.sat4j.minisat.core

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

void	Solver.setRestartStrategy(RestartStrategy restarter)

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

Solver(AssertingClauseGenerator acg, LearningStrategy<L> learner, DataStructureFactory<L> dsf, IOrder<L> order, RestartStrategy restarter)
creates a Solver without LearningListener.

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

Uses of RestartStrategy in org.sat4j.minisat.restarts

Classes in org.sat4j.minisat.restarts that implement RestartStrategy

class	ArminRestarts
class	LubyRestarts Luby series code taken from SATZ_rand 5.0 from Henry Kautz http://www.cs.rochester.edu/u/kautz/satz-rand/satz-rand-v5.0.tgz Luby's series long luby_super(int i) { long power; int k; if (i<=0){ fprintf(stderr, "bad argument super(%d)\n", i); exit(1); } /* let 2ˆk be the least power of 2 >= (i+1) k = 1; power = 2; while (power < (i+1)){ k += 1; power *= 2; } if (power == (i+1)) return (power/2); return (luby_super(i - (power/2) + 1)); }
class	MiniSATRestarts