| Prev Package | Next Package | Frames | No Frames |
Class Summary | |
| AbstractInvariantValueAction | Abstract implementation for invariant value actions. |
| AbstractListAction<E> | Abstract implementation for list actions. |
| DisposeWindowAction | Action which can be used to dispose a window. |
| ExportGraph | Exports a graph bundle. |
| ExportGraphImage | Exports a graph as an image |
| ExportGraphList | Action to export a list of graphs. |
| GraphBundlePreview | Generate a preview of the graphbundle. |
| GraphProperties | |
| GraphRename | Action which allows the user to rename the currently selected graph list element. |
| GraphRenamePanel | Dialog panel for renaming a graph. |
| ImportGraphBundle | Action to import graph bundles into the given graph list. |
| InvariantValuePopupMenu | |
| LoadInvariant | Action to load a new invariant computer from file. |
| RecalculateInvariantValueAction | Action which can be used to invalidate an invariant value for the graphbundle in a graph list element. |
| RenameAction<T,extends,HasName> | List action which can be used to rename an element that implements the interface HasName. |
| RenamePanel<T,extends,HasName> | |
| RunConjecturing | GUI command which runs an engine on the invariant table of a given window and outputs the result to the given text area. |
| ShowDetailsAction | Action which can be used to show details for an invariant value. |
| WorksheetRename | GUI command which allows the user to rename the currently selected worksheet. |
| WorksheetRenameOne | GUI command which allows the user to rename the current worksheet. |
| WorksheetRenamePanel | Dialog panel for renaming a graph list. |