|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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
|
ConstSet.make()
Returns an unmodifiable empty set. |
|
static
|
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |