Uses of Class
org.sat4j.sat.visu.VisuPreferences

Packages that use VisuPreferences

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

Uses of VisuPreferences in org.sat4j.sat

Methods in org.sat4j.sat that return VisuPreferences

VisuPreferences

DetailedCommandPanel.getGnuplotPreferences()

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

void	DetailedCommandPanel.setGnuplotPreferences(VisuPreferences gnuplotPreferences)

Uses of VisuPreferences in org.sat4j.sat.visu

Constructors in org.sat4j.sat.visu with parameters of type VisuPreferences

GnuplotBasedSolverVisualisation(VisuPreferences visuPref, int nbVar, String path, ICDCLLogger logger)

JChartBasedSolverVisualisation(VisuPreferences pref)

JChartBasedSolverVisualisation(VisuPreferences pref, boolean isVisible)

VisuPreferencesFrame(VisuPreferences pref)