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. |