Uses of Class

Packages that use AlloyProjection This package displays Alloy4 instances. 

Uses of AlloyProjection in

Methods in with parameters of type AlloyProjection
 javax.swing.JPanel VizState.getGraph(AlloyProjection projectionChoice)
          Generate a VizGraphPanel for a given projection choice, using the current settings.
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
static AlloyInstance StaticProjector.project(AlloyInstance oldInstance, AlloyProjection projection)
          Project an instance over the given list of types (and their associated chosen atom).