|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use GraphViewer | |
---|---|
edu.mit.csail.sdg.alloy4viz | This package displays Alloy4 instances. |
Uses of GraphViewer in edu.mit.csail.sdg.alloy4viz |
---|
Methods in edu.mit.csail.sdg.alloy4viz that return GraphViewer | |
---|---|
GraphViewer |
VizGraphPanel.alloyGetViewer()
Retrieves the actual GraphViewer object that contains the graph (or null if the graph hasn't loaded yet) |
GraphViewer |
VizGUI.getViewer()
Returns the GraphViewer that contains the graph; can be null if the graph hasn't been loaded yet. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |