| Interface | Description |
|---|---|
| SolverController |
| Class | Description |
|---|---|
| CleanCommandComponent | |
| CommandComponent | |
| DetailedCommandPanel |
This panel contains buttons that control restart and clean on solver.
|
| HotSolverCommandComponent | |
| Lanceur | Deprecated |
| Launcher |
This class is used to launch the SAT solvers from the command line.
|
| LaunchRemoteControl |
Launches the solver with the remote controller.
|
| PhaseCommandComponent | |
| RandomWalkCommandComponent | |
| RemoteControlFrame |
JFrame for the remote control.
|
| RemoteControlStrategy |
Strategy used by the solver when launched with the remote control.
|
| RestartCommandComponent | |
| RTSI |
This class allows dynamic search for classes.
|
| SimplifierCommandComponent | |
| Solvers | |
| VerySimpleCommandPanel |
This panel contains buttons that control restart and clean on solver.
|
| Enum | Description |
|---|---|
| ProblemType |
This class enumerates the different types of problem that can be solved when
using a launcher.
|
| StartSolverEnum |
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.