Package org.sat4j.sat.visu

Implementation of different visualization for the remote control.

See: Description

Interface Summary

Interface	Description
SolverVisualisation

Class Summary

Class	Description
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.