Package org.grinvin.list.commands

Class Summary
CloseGraph	Command to close the current GraphPropertiesWindow.
ExportGraph	Command to export a graph.
ExportGraphImage
ExportGraphList	Command to export a list of graphs.
GraphBrowserMultiPanelCommand	Common class to switch the view of a GraphTableWindow.
GraphListRename	GUI command which allows the user to rename the currently selected graph list.
GraphListRenameOne	GUI command which allows the user to rename the currently selected graph list.
GraphListRenamePanel	Dialog panel for renaming a graph list.
GraphProperties
GraphRename	GUI command which allows the user to rename the currently selected graph list element.
GraphRenameOne	GUI command which allows the user to rename the currently selected graph list element.
GraphRenamePanel	Dialog panel for renaming a graph.
ImportGraphBundle	Command to import a (some) GraphBundle(s) and add it (them) to the current GraphList.
LoadInvariant	Command to load a new invariant computer from file.
RenamePanel
RunConjecturing	GUI command which runs the QD-engine on the invariant table of a given window and outputs the result to the given text area.
SetCellListView	Command to switch the view to a list of graph icons
SetListView	Command to switch the view to a list of graph names
SetTableView	Command to switch the view to a list of graph names and their invariant values.