Package org.grinvin.graphbrowser

Interface Summary

AcceptsInvariant
ConjecturingWindowListener
GraphBrowserPanel
HasGraphList Common interface of all components (windows, panels, ...) that export a graph list model.
HasInvariantList Common interface of all components (windows, panels, ...) that export an invariant list.
HasSelectableGraphList Common interface of all components that allow a set of graph list elements to be selected.

Class Summary

AnnotatedGraphCellListComponent
AnnotatedGraphListComponent
AnnotatedInvariantListComponent
AnnotatedScrollableGraphTableComponent An annotated version of ScrollableGraphTableComponent.
CommonGraphListTransferHandler Common TransferHandler for all graph list components in org.grinvin.graphbrowser.
ConjecturingWindow Window associated to a conjecturing engine.
GraphBrowserMultiPanel Component that holds different views for a GraphInvariantListModel.
GraphBrowserWindow A window that displays the GraphList/GraphTableList
GraphCellListComponent
GraphCellListPanel Panel that contains a GraphCellListComponent.
GraphComponent Component that combines the graph icon with its name.
GraphListComponent
GraphListPanel Panel that contains a GraphListComponent.
GraphPropertiesComponent Displays a graph element and its properties in a single panel.
GraphTableComponent Table component which displays a list of graphs as rows, invariants as columns and the corresponding values in the table cells.
GraphTablePanel Panel that contains a GraphTableComponent.
GraphTableScrollPaneLayout
InvariantDropHandler Common DropHandler to drop invariants on objects that support HasInvariantList.
InvariantFactoryDropHandler Allows an invariant factory to be dropped onto objects that support HasInvariantList.
InvariantListComponent List component with entries of type Invariant.
NamedGraphComponent Extension of GraphComponent that shows the name of the graph above the icon.
RowHeaderView List that is used as row header of a GraphTableComponent.
ScrollableGraphTableComponent A version of GraphTableComponent that is scrollable.