Package org.grinvin.list

Interface Summary
GraphInvariantList	Interface that combines GraphList and InvariantList objects.
GraphInvariantListModel
GraphList	Interface to ease the use of graph lists.
GraphListElementListener	Interface that all elements that listen to GraphListElements should implement.
GraphListModel	Interface that identifies graph list models.
GraphListModelContentsListener	Listener that also listents to the contents of the GraphListModel.
GraphListModelListener	Interface that all listeners of GraphListModel should implement.
GraphListsModel	Interface that identifies a graph lists model.
GraphPropertiesTableModelListener	Interface that all elements that listen to GraphPropertiesTableModel should implement.
HasName	Interface implemented by all objects (mostly lists) that support setName and getName.
InvariantList	Interface to ease the use of lists of invariants.
InvariantListModel
InvariantListModelListener	Interface that all listeners of InvariantListModel should implement.

Class Summary
DefaultGraphInvariantList	Default implementation of GraphInvariantListModel.
DefaultGraphInvariantListModel	Default implementation of GraphInvariantListModel.
DefaultGraphList	Default implementation of GraphList.
DefaultGraphListModel	Default implementation of GraphListModel.
DefaultGraphListsModel	Model that contains a list of available graph lists and the current sequence number.
DefaultInvariantList	Default implementation of InvariantList.
DefaultInvariantListModel	Default implementation of InvariantListModel.
FactoryDropHandler	Allows a factory to be dropped onto a component.
FactoryList	Cell list component with entries of type GraphFactory.
FactoryList.FactoryListCellRenderer
GraphInvariantTableModel	TableModel to be used in GraphTableComponent.
GraphListCellRenderer	Cell renderer for cell lists with elements of type GraphListElement.
GraphListElement	Represents the elements of a GraphList.
GraphListElementDropHandler	Allows (multiple) graph elements to be dropped onto a component.
GraphListElementManager	Manages the mapping between Graph URI's and the GraphListElement objects representing them.
GraphListElementRenderer	Cell renderer for objects of type GraphListElement.
GraphListRenderer	Table cell renderer for objects of type GraphListElement.
GraphListsComponent
GraphListTableRenderer	Table cell renderer for objects of type GraphListElement.
GraphPropertiesTable	Table to display a GraphPropertiesTableModel.
GraphPropertiesTableModel	Table model for the table of properties of a graph.
GraphPropertiesWindow	Window that displays a drawing of the graph as well as its known invariants.
GraphViewPanel	Provides a view of the Graph.
InvariantTableCellRenderer	Table cell renderer for objects of type Invariant.
InvariantTree	Tree component with leaves of type Invariant.
InvariantTreeModel	Tree model containing the tree of supported invariants.
InvariantValueTableCellRenderer	Table cell renderer for objects of type InvariantValue.