addResult
public void addResult(String result)
getCurrentComponent
public String getCurrentComponent()
getDividerLocation
public int getDividerLocation()
getGraphListDividerLocation
public int getGraphListDividerLocation()
getGraphPropertiesComponentDividerLocation
public int getGraphPropertiesComponentDividerLocation()
getInvariantTableDividerLocation
public int getInvariantTableDividerLocation()
getSelectedInvariant
public Invariant getSelectedInvariant()
getUsableInvariantsCount
public int getUsableInvariantsCount()
setCurrentComponent
public void setCurrentComponent(String component)
throws RuntimeException
setDividerLocation
public void setDividerLocation(int location)
setGraphListDividerLocation
public void setGraphListDividerLocation(int location)
setGraphPropertiesComponentDividerLocation
public void setGraphPropertiesComponentDividerLocation(int location)
setInvariantTableDividerLocation
public void setInvariantTableDividerLocation(int location)