Uses of Package
edu.mit.csail.sdg.alloy4viz

Packages that use edu.mit.csail.sdg.alloy4viz

edu.mit.csail.sdg.alloy4viz

This package displays Alloy4 instances.

Classes in edu.mit.csail.sdg.alloy4viz used by edu.mit.csail.sdg.alloy4viz

AlloyAtom
Immutable; represents an Alloy atom in an instance.

AlloyElement
Immutable; it's the abstract superclass extended by AlloyType, AlloySet, and AlloyRelation.

AlloyInstance
Immutable; represents an Alloy instance that can be displayed in the visualizer.

AlloyModel
Immutable; represents an Alloy model.

AlloyNodeElement
Immutable; it's the abstract superclass extended by both AlloyType and AlloySet.

AlloyProjection
Immutable; represents a set of types to be projected, plus the exact atom chosen for each type to be projected.

AlloyRelation
Immutable; represents an Alloy relation of 2 or higher arity.

AlloySet
Immutable; represents an Alloy set in an instance.

AlloyTuple
Immutable; represents an Alloy tuple.

AlloyType
Immutable; represents an Alloy toplevel signature or an Alloy subsignature.

VizState
Mutable; this stores an unprojected model as well as the current theme customization.

VizState.MInt

VizState.MMap

VizState.MString