|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use SolverController | |
|---|---|
| org.sat4j.sat | Implementation of a sat4j Launcher. |
| Uses of SolverController in org.sat4j.sat |
|---|
| Classes in org.sat4j.sat that implement SolverController | |
|---|---|
class |
DetailedCommandPanel
This panel contains buttons that control restart and clean on solver. |
| Constructors in org.sat4j.sat with parameters of type SolverController | |
|---|---|
CleanCommandComponent(String name,
SolverController controller)
|
|
HotSolverCommandComponent(String name,
SolverController controller)
|
|
PhaseCommandComponent(String name,
SolverController commandPanel,
String initialPhaseStrategyName)
|
|
RandomWalkCommandComponent(String name,
SolverController controller)
|
|
RestartCommandComponent(String name,
SolverController controller,
String initialRestartStrategy)
|
|
SimplifierCommandComponent(String name,
SolverController controller)
|
|
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||