Prev Package | Next Package | Frames | No Frames |
Interface Summary | |
HasGraphList | Common interface of all components (windows, panels, ...) that export a graph list model. |
HasRequestedCell | Interface for JTables that can have a special requested cell. |
HasSelectableGraphList | Common interface of all components that allow a set of graph list elements to be selected. |
SubwindowModelListener | |
WorksheetModelListener | |
WorksheetWindowListModel |
Class Summary | |
ConjecturingComboBoxModel | Combo box model for the conjecturing window. |
DefaultWorksheetWindowListModel | |
GraphCellListPanel | Panel that contains a GraphCellListComponent . |
GraphListComponentType | Enumerates the different types of graph list component. |
GraphListPanel | Panel that contains a GraphListComponent . |
GraphTablePanel | |
GraphTableSplitPanel | Panel that contains a ScrollableGraphTableComponent and an InvariantListComponent . |
HideSubwindowMenuItem | Menu item to toggle the visible state of a subwindow. |
SubwindowModel | |
WorksheetModel | Model for the conjecturing window. |
WorksheetWindow | Window associated to a conjecturing engine. |
WorksheetWindowModel | |
WorksheetWindowModel.SubwindowType |