Package org.sat4j.sat.visu

Implementation of different visualization for the remote control.

See:
          Description

Interface Summary
SolverVisualisation  
 

Class Summary
ChartBasedVisualizationTool  
GnuplotBasedSolverVisualisation  
GnuplotDataFile  
GnuplotFunction  
JChartBasedSolverVisualisation  
MyChartPanel  
PointPainterCross  
PointPainterPlus  
TraceComposite Every time a point is added to this trace, it is also added to the cloneTrace
TracePainterCross  
TracePainterPlus  
VisuPreferences  
VisuPreferencesFrame  
 

Package org.sat4j.sat.visu Description

Implementation of different visualization for the remote control.



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