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.