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

Packages that use AlloyTuple

edu.mit.csail.sdg.alloy4viz

This package displays Alloy4 instances.

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

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

AlloyTuple

AlloyTuple.reverse() Returns a new AlloyTuple whose list of atoms is the same but in reverse.

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

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.

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

int	AlloyTuple.compareTo(AlloyTuple that) Two tuples are first compared based on length; if the length is the same, we compare atom-by-atom.

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

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.