Uses of Class
edu.mit.csail.sdg.alloy4graph.GraphViewer

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.