public static MutableMap <K, V> EmptyMap()
{
var m = new MutableMap <K, V>();
m.mapImpl = new Dictionary <K, V>();
return(m);
}
// 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 MutableMap <K, V> FromMap(Dafny.IMap <K, V> m)
{
var new_m = new MutableMap <K, V>();
new_m.mapImpl = new Dictionary <K, V>();
foreach (var kv in m.ItemEnumerable)
{
new_m.mapImpl.Add(kv.Car, kv.Cdr);
}
return(new_m);
}
