org.grinvin.graphbrowser
Class GraphBrowserMultiPanel
JPanel
org.grinvin.graphbrowser.GraphBrowserMultiPanel
public class GraphBrowserMultiPanel
extends JPanel
GraphBrowserMultiPanel
public GraphBrowserMultiPanel(GraphInvariantListModel model)
Creates a new instance of GraphBrowserMultiPanel
getGraphList
public GraphList getGraphList()
Return the graph list model for this window.
getGraphListDividerLocation
public int getGraphListDividerLocation()
getGraphPropertiesComponentDividerLocation
public int getGraphPropertiesComponentDividerLocation()
getInvariantTableDividerLocation
public int getInvariantTableDividerLocation()
getSelectionModel
public ListSelectionModel getSelectionModel()
Return the selection model for this window.
setGraphListDividerLocation
public void setGraphListDividerLocation(int location)
setGraphPropertiesComponentDividerLocation
public void setGraphPropertiesComponentDividerLocation(int location)
setInvariantTableDividerLocation
public void setInvariantTableDividerLocation(int location)
showGraphCellList
public void showGraphCellList()
Bring up the graph cell list view of this window.
showGraphList
public void showGraphList()
Bring up the graph list view of this window.
showInvariantTable
public void showInvariantTable()
Bring up the view representing the table of invariants.