public static void FromMap(Dafny.Map <K, V> m, out MutableMap <K, V> new_m) { new_m = new MutableMap <K, V>(); foreach (var key in m.Domain) { new_m.mapImpl.Add(key, m.Select(key)); } }
// TODO: This is pretty inefficient. Should change Dafny's interface to allow us to // pass in an enumerable or an ImmutableDictionary public static Dafny.Map <K, V> MapOf(MutableMap <K, V> s) { List <Dafny.Pair <K, V> > pairs = new List <Dafny.Pair <K, V> >(); foreach (var pair in s.mapImpl) { pairs.Add(new Dafny.Pair <K, V>(pair.Key, pair.Value)); } return(Dafny.Map <K, V> .FromCollection(pairs)); }
public static void EmptyMap(out MutableMap <K, V> m) { m = new MutableMap <K, V>(); }