Uses of Class
edu.mit.csail.sdg.alloy4.ConstSet

Packages that use ConstSet
edu.mit.csail.sdg.alloy4 This package contains general data structures and helper classes. 
edu.mit.csail.sdg.alloy4viz This package displays Alloy4 instances. 
 

Uses of ConstSet in edu.mit.csail.sdg.alloy4
 

Methods in edu.mit.csail.sdg.alloy4 that return ConstSet
static
<K> ConstSet<K>
ConstSet.make()
          Returns an unmodifiable empty set.
static
<K> ConstSet<K>
ConstSet.make(java.lang.Iterable<K> collection)
          Returns an unmodifiable set with the same elements and traversal order as the given set.
 

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

Methods in edu.mit.csail.sdg.alloy4viz that return ConstSet
 ConstSet<AlloyType> VizState.getProjectedTypes()
          Gets an unmodifiable copy of the set of types we are currently projecting over.