Uses of Class
edu.mit.csail.sdg.alloy4viz.AlloyProjection

Packages that use AlloyProjection

edu.mit.csail.sdg.alloy4viz

This package displays Alloy4 instances.

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

Methods in edu.mit.csail.sdg.alloy4viz 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).