Package org.grinvin.list

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.
GraphInvariantTableModelTableModel to be used in GraphTableComponent.
GraphPropertiesTableModel Table model for the table of properties of a graph.
GraphViewPanel Provides a view of the Graph.