Package | Description |
---|---|
org.sat4j.minisat.core |
Implementation of the MiniSAT solver skeleton.
|
org.sat4j.minisat.restarts |
Various restart strategies.
|
org.sat4j.pb.core |
Implementations of pseudo boolean solvers
|
org.sat4j.sat |
Implementation of a sat4j Launcher.
|
Modifier and Type | Method and Description |
---|---|
SearchParams |
ICDCL.getSearchParams() |
SearchParams |
Solver.getSearchParams() |
Modifier and Type | Method and Description |
---|---|
void |
RestartStrategy.init(SearchParams params,
SolverStats stats)
Hook method called just before the search starts.
|
void |
ICDCL.setSearchParams(SearchParams sp) |
void |
Solver.setSearchParams(SearchParams sp) |
Constructor and Description |
---|
Solver(LearningStrategy<D> learner,
D dsf,
SearchParams params,
IOrder order,
RestartStrategy restarter) |
Solver(LearningStrategy<D> learner,
D dsf,
SearchParams params,
IOrder order,
RestartStrategy restarter,
ILogAble logger) |
Modifier and Type | Method and Description |
---|---|
void |
FixedPeriodRestarts.init(SearchParams params,
SolverStats stats) |
void |
ArminRestarts.init(SearchParams theParams,
SolverStats stats) |
void |
Glucose21Restarts.init(SearchParams params,
SolverStats stats) |
void |
NoRestarts.init(SearchParams params,
SolverStats stats) |
void |
LubyRestarts.init(SearchParams params,
SolverStats stats) |
void |
MiniSATRestarts.init(SearchParams theParams,
SolverStats stats) |
Constructor and Description |
---|
PBSolver(LearningStrategy<PBDataStructureFactory> learner,
PBDataStructureFactory dsf,
SearchParams params,
IOrder order,
RestartStrategy restarter) |
PBSolverCP(LearningStrategy<PBDataStructureFactory> learner,
PBDataStructureFactory dsf,
SearchParams params,
IOrder order) |
PBSolverCP(LearningStrategy<PBDataStructureFactory> learner,
PBDataStructureFactory dsf,
SearchParams params,
IOrder order,
RestartStrategy restarter) |
PBSolverResCP(LearningStrategy<PBDataStructureFactory> learner,
PBDataStructureFactory dsf,
SearchParams params,
IOrder order) |
PBSolverResCP(LearningStrategy<PBDataStructureFactory> learner,
PBDataStructureFactory dsf,
SearchParams params,
IOrder order,
RestartStrategy restarter) |
PBSolverResolution(LearningStrategy<PBDataStructureFactory> learner,
PBDataStructureFactory dsf,
SearchParams params,
IOrder order,
RestartStrategy restarter) |
Modifier and Type | Method and Description |
---|---|
SearchParams |
RemoteControlStrategy.getSearchParams() |
SearchParams |
DetailedCommandPanel.getSearchParams() |
SearchParams |
SolverController.getSearchParams() |
Modifier and Type | Method and Description |
---|---|
void |
RemoteControlStrategy.init(SearchParams params,
SolverStats stats) |
void |
DetailedCommandPanel.init(SearchParams params,
SolverStats stats) |
void |
SolverController.init(SearchParams params,
SolverStats stats) |
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.