org.grinvin.worksheet
Class WorksheetWindowModel
- HasName, HasURI
public class WorksheetWindowModel
addHistoryEntry , addResult , addWorksheetModelListener , fireEngineChanged , fireEngineConfigurationChanged , fireFilterChanged , fireNameChanged , getConjectureHistoryList , getConjectureHistoryListModel , getConjectureList , getConjectureListModel , getEngineRunner , getFilter , getFilterList , getFilterListModel , getGeneratorInstanceList , getGeneratorInstanceListModel , getGraphList , getInvariantList , getName , getURI , isNameEditable , removeWorksheetModelListener , setName , setURI , writeStateToHistory |
WorksheetWindowModel
public WorksheetWindowModel()
getGlctModel
public GenericSelectionModel getGlctModel()
Return the submodel which keeps track of which graph
list component type is currently displayed