Prev Package | Next Package | Frames | No Frames |
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. |