Uses of Class
edu.mit.csail.sdg.alloy4.ErrorFatal

Packages that use ErrorFatal
edu.mit.csail.sdg.alloy4viz This package displays Alloy4 instances. 
 

Uses of ErrorFatal in edu.mit.csail.sdg.alloy4viz
 

Methods in edu.mit.csail.sdg.alloy4viz that throw ErrorFatal
static javax.swing.JPanel StaticGraphMaker.produceGraph(AlloyInstance instance, VizState view, AlloyProjection proj)
          Produces a single Graph from the given Instance and View and choice of Projection