|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||
See:
Description
| Interface Summary | |
|---|---|
| ILog | |
| SolverController | |
| Class Summary | |
|---|---|
| CleanCommandComponent | |
| CommandComponent | |
| DetailedCommandPanel | This panel contains buttons that control restart and clean on solver. |
| HotSolverCommandComponent | |
| Lanceur | |
| 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 Summary | |
|---|---|
| StartSolverEnum | |
Implementation of a sat4j Launcher. Implementation of a remote control for the solver.
|
||||||||||
| PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES | |||||||||