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

Packages that use AlloyModel

edu.mit.csail.sdg.alloy4viz

This package displays Alloy4 instances.

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

Fields in edu.mit.csail.sdg.alloy4viz declared as AlloyModel

AlloyModel

AlloyInstance.model The AlloyModel that this AlloyInstance is an instance of.

Methods in edu.mit.csail.sdg.alloy4viz that return AlloyModel

AlloyModel	VizState.getCurrentModel() Returns the current (possibly projected) model.
AlloyModel	VizState.getOriginalModel() Returns the original unprojected model.
static AlloyModel	StaticProjector.project(AlloyModel unprojectedModel, java.util.Collection<AlloyType> typesToBeProjected) Given an unprojected model, project it over the given collection of AlloyType(s).

Methods in edu.mit.csail.sdg.alloy4viz with parameters of type AlloyModel

static AlloyModel

StaticProjector.project(AlloyModel unprojectedModel, java.util.Collection<AlloyType> typesToBeProjected) Given an unprojected model, project it over the given collection of AlloyType(s).

Constructors in edu.mit.csail.sdg.alloy4viz with parameters of type AlloyModel

AlloyInstance(A4Solution originalA4, java.lang.String filename, java.lang.String commandname, AlloyModel model, java.util.Map<AlloyAtom,java.util.Set<AlloySet>> atom2sets, java.util.Map<AlloyRelation,java.util.Set<AlloyTuple>> rel2tuples, boolean isMetamodel)
Create a new instance.

AlloyModel(java.util.Collection<AlloyType> types, java.util.Collection<AlloySet> sets, java.util.Collection<AlloyRelation> rels, AlloyModel old)
Construct a new AlloyModel object.