Package | Description |
---|---|
org.sat4j.sat |
Implementation of a sat4j Launcher.
|
Modifier and Type | Class and Description |
---|---|
class |
DetailedCommandPanel
This panel contains buttons that control restart and clean on solver.
|
Constructor and Description |
---|
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,
ILogAble logger) |
SimplifierCommandComponent(String name,
SolverController controller) |
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.