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

Packages that use SolverVisualisation

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

void	DetailedCommandPanel.setSolverVisualisation(SolverVisualisation visu)

Uses of SolverVisualisation in org.sat4j.sat.visu

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

class	GnuplotBasedSolverVisualisation
class	JChartBasedSolverVisualisation