| Prev Package | Next Package | Frames | No Frames |
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. |