|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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 |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |