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)
           
 



Copyright © 2012 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.