Uses of Interface
org.sat4j.sat.SolverController

Packages that use SolverController

Package	Description
org.sat4j.sat	Implementation of a sat4j Launcher.

Uses of SolverController in org.sat4j.sat

Classes in org.sat4j.sat that implement SolverController

Modifier and Type	Class and Description
class	DetailedCommandPanel This panel contains buttons that control restart and clean on solver.

Constructors in org.sat4j.sat with parameters of type SolverController

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)