Prev Package | Next Package | Frames | No Frames |
Interface Summary | |
Wrapper<C> | An object of this type manages the life cycle of one or more subcomponents
of the GrInVin system, of type |
Class Summary | |
ConjecturingWindowWrapper | Wrapper for the conjecturing window. |
DefaultWindowWrapper<W,extends,Window> | Common super class of all wrappers that manage a single window of type W. |
EditorWindowWrapper | Wrapper for the EditorWindow |
GraphBrowserWindowWrapper | Wrapper for the GraphBrowserWindow |
GrinvinWindowWrapper | Wrapper for the main GrInvIn window. |
LoggingWindowWrapper | Window wrapper for the factory window. |
Workspace | Handles session persistence. |
WorkspaceException | Indicates that something went wrong while loading or saving a workspace |