Uses of Class

Packages that use AlloySet This package displays Alloy4 instances. 

Uses of AlloySet in

Methods in that return AlloySet
 AlloySet AlloyModel.hasSet(java.lang.String name, AlloyType type)
          Returns the AlloyRelation object if this model contains the given relation; or return null otherwise.

Methods in that return types with arguments of type AlloySet
 java.util.List<AlloySet> AlloyInstance.atom2sets(AlloyAtom atom)
          Returns an unmodifiable sorted list of AlloySet(s) that this atom is in; answer can be an empty list.
 java.util.Set<AlloySet> AlloyModel.getSets()
          Returns an unmodifiable sorted set of all AlloySet(s) in this model.

Methods in with parameters of type AlloySet
 int AlloySet.compareTo(AlloySet other)
          When comparing two AlloySet objects, we first compare their names, then their types.
 java.util.List<AlloyAtom> AlloyInstance.set2atoms(AlloySet set)
          Returns an unmodifiable sorted list of AlloyAtom(s) in this set; answer can be an empty list.

Constructor parameters in with type arguments of type AlloySet
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.