Package dafny

Class DafnyMap<K,V>

java.lang.Object
dafny.DafnyMap<K,V>
public class DafnyMap<K,V> extends Object

  • Constructor Details

    • DafnyMap

      public DafnyMap()

    • DafnyMap

      public DafnyMap(Map<K,V> m)

  • Method Details

    • empty

      public static <K, V> DafnyMap<K,V> empty()

    • fromElements

      public static <K, V> DafnyMap<K,V> fromElements(Tuple2<K,V>... pairs)

    • _typeDescriptor

      public static <K, V> TypeDescriptor<DafnyMap<? extends K,? extends V>> _typeDescriptor(TypeDescriptor<K> keyType, TypeDescriptor<V> valueType)

    • contains

      public boolean contains(Object t)

    • update

      public static <K, V> DafnyMap<K,V> update(DafnyMap<? extends K,? extends V> th, K k, V v)

    • equals

      public boolean equals(Object obj)
      Overrides:
      equals in class Object

    • hashCode

      public int hashCode()
      Overrides:
      hashCode in class Object

    • toString

      public String toString()
      Overrides:
      toString in class Object

    • forEach

      public void forEach(BiConsumer<? super K,? super V> action)

    • merge

      public static <K, V> DafnyMap<? extends K,? extends V> merge(DafnyMap<? extends K,? extends V> th, DafnyMap<? extends K,? extends V> other)

    • subtract

      public static <K, V> DafnyMap<? extends K,? extends V> subtract(DafnyMap<? extends K,? extends V> th, DafnySet<? extends K> keys)

    • size

      public int size()

    • cardinalityInt

      public int cardinalityInt()

    • isEmpty

      public boolean isEmpty()

    • get

      public V get(Object key)

    • keySet

      public DafnySet<K> keySet()

    • valueSet

      public DafnySet<V> valueSet()

    • entrySet

      public <KK, VV> DafnySet<? extends Tuple2<KK,VV>> entrySet()