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

Packages that use VisuPreferences

Package	Description
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

Modifier and Type	Method and Description
VisuPreferences	DetailedCommandPanel.getGnuplotPreferences()

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

Modifier and Type	Method and Description
void	DetailedCommandPanel.setGnuplotPreferences(VisuPreferences gnuplotPreferences)

Uses of VisuPreferences in org.sat4j.sat.visu

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

Constructor and Description
GnuplotBasedSolverVisualisation(VisuPreferences visuPref, int nbVar, String path, ILogAble logger)
JChartBasedSolverVisualisation(VisuPreferences pref)
VisuPreferencesFrame(VisuPreferences pref)