Uses of Interface
org.sat4j.sat.visu.SolverVisualisation

Packages that use SolverVisualisation

Package	Description
org.sat4j.sat	Implementation of a sat4j Launcher.
org.sat4j.sat.visu	Implementation of different visualization for the remote control.

Uses of SolverVisualisation in org.sat4j.sat

Methods in org.sat4j.sat with parameters of type SolverVisualisation

Modifier and Type	Method and Description
void	DetailedCommandPanel.setSolverVisualisation(SolverVisualisation visu)

Uses of SolverVisualisation in org.sat4j.sat.visu

Classes in org.sat4j.sat.visu that implement SolverVisualisation

Modifier and Type	Class and Description
class	GnuplotBasedSolverVisualisation
class	JChartBasedSolverVisualisation