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

Packages that use AlloySet

edu.mit.csail.sdg.alloy4viz

This package displays Alloy4 instances.

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

Methods in edu.mit.csail.sdg.alloy4viz 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 edu.mit.csail.sdg.alloy4viz 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 edu.mit.csail.sdg.alloy4viz 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 edu.mit.csail.sdg.alloy4viz 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.