Uses of Class

Packages that use GraphViewer This package displays Alloy4 instances. 

Uses of GraphViewer in

Methods in 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.