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.