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

Packages that use AlloyRelation

edu.mit.csail.sdg.alloy4viz

This package displays Alloy4 instances.

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

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

static AlloyRelation	AlloyRelation.EXTENDS This caches an instance of the "extends" AlloyRelation, so we don't have to keep re-constructing it.
static AlloyRelation	AlloyRelation.IN This caches an instance of the "in" AlloyRelation, so we don't have to keep re-constructing it.

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

AlloyRelation

AlloyModel.hasRelation(java.lang.String name, java.util.List<AlloyType> types) Returns the AlloyRelation object if this model contains the given relation; or return null otherwise.

Methods in edu.mit.csail.sdg.alloy4viz that return types with arguments of type AlloyRelation

java.util.Set<AlloyRelation>

AlloyModel.getRelations() Returns an unmodifiable sorted set of all AlloyRelation(s) in this model.

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

int	AlloyRelation.compareTo(AlloyRelation other) When comparing two AlloyRelation objects, we first compare the name, then the arity, then the types.
java.util.Set<AlloyTuple>	AlloyInstance.relation2tuples(AlloyRelation rel) Returns an unmodifiable sorted set of AlloyTuple(s) in this relation; answer can be an empty set.

Constructor parameters in edu.mit.csail.sdg.alloy4viz with type arguments of type AlloyRelation

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.

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