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