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

Packages that use ConstMap

edu.mit.csail.sdg.alloy4

This package contains general data structures and helper classes.

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

Methods in edu.mit.csail.sdg.alloy4 that return ConstMap

static <K,V> ConstMap<K,V>	ConstMap.make() Returns an unmodifiable empty map.
static <K,V> ConstMap<K,V>	ConstMap.make(java.util.Map<K,V> map) Returns an unmodifiable map with the same entries and traversal order as the given map.