All Methods Static Methods Instance Methods Concrete Methods
| Modifier and Type |
Method and Description |
static <K,V> TypeDescriptor<DafnyMap<? extends K,? extends V>> |
_typeDescriptor(TypeDescriptor<K> keyType,
TypeDescriptor<V> valueType) |
int |
cardinalityInt() |
boolean |
contains(java.lang.Object t) |
static <K,V> DafnyMap<K,V> |
empty() |
<KK,VV> DafnySet<? extends Tuple2<KK,VV>> |
entrySet() |
boolean |
equals(java.lang.Object obj) |
void |
forEach(java.util.function.BiConsumer<? super K,? super V> action) |
static <K,V> DafnyMap<K,V> |
fromElements(Tuple2<K,V>... pairs) |
V |
get(java.lang.Object key) |
int |
hashCode() |
boolean |
isEmpty() |
DafnySet<K> |
keySet() |
static <K,V> DafnyMap<? extends K,? extends V> |
merge(DafnyMap<? extends K,? extends V> th,
DafnyMap<? extends K,? extends V> other) |
int |
size() |
static <K,V> DafnyMap<? extends K,? extends V> |
subtract(DafnyMap<? extends K,? extends V> th,
DafnySet<? extends K> keys) |
java.lang.String |
toString() |
static <K,V> DafnyMap<K,V> |
update(DafnyMap<? extends K,? extends V> th,
K k,
V v) |
DafnySet<V> |
valueSet() |