|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use RestartStrategy | |
---|---|
org.sat4j.minisat.core | Implementation of the MiniSAT solver skeleton. |
org.sat4j.minisat.restarts | Various restart strategies. |
org.sat4j.pb.core |
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(LearningStrategy<D> learner,
D dsf,
IOrder order,
RestartStrategy restarter)
creates a Solver without LearningListener. |
|
Solver(LearningStrategy<D> learner,
D dsf,
SearchParams params,
IOrder order,
RestartStrategy restarter)
|
Uses of RestartStrategy in org.sat4j.minisat.restarts |
---|
Classes in org.sat4j.minisat.restarts that implement RestartStrategy | |
---|---|
class |
ArminRestarts
Rapid restart strategy presented by Armin Biere during it's SAT 07 invited talk. |
class |
LubyRestarts
Luby series |
class |
MiniSATRestarts
Minisat original restart strategy. |
class |
NoRestarts
Disable restarts in the solver. |
Uses of RestartStrategy in org.sat4j.pb.core |
---|
Constructors in org.sat4j.pb.core with parameters of type RestartStrategy | |
---|---|
PBSolver(LearningStrategy<PBDataStructureFactory> learner,
PBDataStructureFactory dsf,
IOrder order,
RestartStrategy restarter)
|
|
PBSolver(LearningStrategy<PBDataStructureFactory> learner,
PBDataStructureFactory dsf,
SearchParams params,
IOrder order,
RestartStrategy restarter)
|
|
PBSolverCP(LearningStrategy<PBDataStructureFactory> learner,
PBDataStructureFactory dsf,
SearchParams params,
IOrder order,
RestartStrategy restarter)
|
|
PBSolverResCP(LearningStrategy<PBDataStructureFactory> learner,
PBDataStructureFactory dsf,
SearchParams params,
IOrder order,
RestartStrategy restarter)
|
|
PBSolverResolution(LearningStrategy<PBDataStructureFactory> learner,
PBDataStructureFactory dsf,
IOrder order,
RestartStrategy restarter)
|
|
PBSolverResolution(LearningStrategy<PBDataStructureFactory> learner,
PBDataStructureFactory dsf,
SearchParams params,
IOrder order,
RestartStrategy restarter)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |