Uses of Class

Packages that use AlloyRelation This package displays Alloy4 instances. 

Uses of AlloyRelation in

Fields in 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 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 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 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 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.