Package de.saar.chorus.ubench.gui.chartviewer

Class Summary
ChartViewer A JFrame containing a GUI for visualising a Chart of a dominance graph and highlighting parts of it in a JDomGraph.
ChartViewerListener This ActionListener processes all actions of one (and only one) ChartViewer.
FormatManager This is a class providing methods to mark Splits and Subgraphs via a ChartViewer.
JDomGraphDummyLayout A JGraphLayoutAlgorithm designed to leave the node and edge positions unchanged but triggers the refreshing of the JGraph's appearance so as to make color or font changes visible.