| Prev Package | Next Package | Frames | No Frames |
Interface Summary | |
| ConjectureHistoryList | Interface to ease the use of lists of ConjectureHistoryEntry. |
| ConjectureHistoryListModel | |
| ConjectureList | |
| ConjectureListModel | |
| ExpressionList | |
| ExpressionListModel | |
| FilterList | Interface to ease the use of lists of filters. |
| FilterListModel | |
| FilterListModelListener | Interface that all listeners of FilterListModel should implement. |
| GraphPropertiesTableModelListener | Interface that all elements that listen to GraphPropertiesTableModel
should implement. |
| HasName | Interface implemented by all objects (mostly lists) that support setName and getName. |
| HasSelectableValues | Common interface of all components for which a set of objects can be selected. |
| HasURI | Interface implemented by all objects (mostly lists) that support setURI and getURI. |
| WorksheetListModel | Interface that identifies a worksheet list model. |
Class Summary | |
| DefaultConjectureHistoryListModel | Default implementation of ConjectureHistoryListModel. |
| DefaultConjectureListModel | |
| DefaultExpressionListModel | |
| DefaultFilterList | Default implementation of FilterList. |
| DefaultFilterListModel | Default implementation of InvariantListModel. |
| DefaultWorksheetListModel | Model that contains a list of available graph lists and the current sequence number. |
| GraphInvariantTableModel | TableModel to be used in GraphTableComponent. |
| GraphPropertiesTableModel | Table model for the table of properties of a graph. |
| GraphViewPanel | Provides a view of the Graph. |