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