Package org.grinvin.list.actions

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.