Maps_Compile

Class __default

java.lang.Object

Maps_Compile.__default

public class __default
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
__default()

Method Summary

Modifier and Type	Method and Description
static dafny.TypeDescriptor<__default>	_typeDescriptor()
static <__X,__Y> Wrappers_Compile.Option<__Y>	Get(dafny.TypeDescriptor<__X> _td___X, dafny.TypeDescriptor<__Y> _td___Y, dafny.DafnyMap<? extends __X,? extends __Y> m, __X x)
static <__X,__Y> dafny.DafnyMap<? extends __X,? extends __Y>	Remove(dafny.TypeDescriptor<__X> _td___X, dafny.TypeDescriptor<__Y> _td___Y, dafny.DafnyMap<? extends __X,? extends __Y> m, __X x)
static <__X,__Y> dafny.DafnyMap<? extends __X,? extends __Y>	RemoveKeys(dafny.TypeDescriptor<__X> _td___X, dafny.TypeDescriptor<__Y> _td___Y, dafny.DafnyMap<? extends __X,? extends __Y> m, dafny.DafnySet<? extends __X> xs)
static <__X,__Y> dafny.DafnyMap<? extends __X,? extends __Y>	Restrict(dafny.TypeDescriptor<__X> _td___X, dafny.TypeDescriptor<__Y> _td___Y, dafny.DafnyMap<? extends __X,? extends __Y> m, dafny.DafnySet<? extends __X> xs)
static <__X,__Y> dafny.DafnyMap<? extends __X,? extends __Y>	ToImap(dafny.TypeDescriptor<__X> _td___X, dafny.TypeDescriptor<__Y> _td___Y, dafny.DafnyMap<? extends __X,? extends __Y> m)
java.lang.String	toString()
static <__X,__Y> dafny.DafnyMap<? extends __X,? extends __Y>	Union(dafny.TypeDescriptor<__X> _td___X, dafny.TypeDescriptor<__Y> _td___Y, dafny.DafnyMap<? extends __X,? extends __Y> m, dafny.DafnyMap<? extends __X,? extends __Y> m_k)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

__default

public __default()

Method Detail

Get

public static <__X,__Y> Wrappers_Compile.Option<__Y> Get(dafny.TypeDescriptor<__X> _td___X,
                                                         dafny.TypeDescriptor<__Y> _td___Y,
                                                         dafny.DafnyMap<? extends __X,? extends __Y> m,
                                                         __X x)

ToImap

public static <__X,__Y> dafny.DafnyMap<? extends __X,? extends __Y> ToImap(dafny.TypeDescriptor<__X> _td___X,
                                                                           dafny.TypeDescriptor<__Y> _td___Y,
                                                                           dafny.DafnyMap<? extends __X,? extends __Y> m)

RemoveKeys

public static <__X,__Y> dafny.DafnyMap<? extends __X,? extends __Y> RemoveKeys(dafny.TypeDescriptor<__X> _td___X,
                                                                               dafny.TypeDescriptor<__Y> _td___Y,
                                                                               dafny.DafnyMap<? extends __X,? extends __Y> m,
                                                                               dafny.DafnySet<? extends __X> xs)

Remove

public static <__X,__Y> dafny.DafnyMap<? extends __X,? extends __Y> Remove(dafny.TypeDescriptor<__X> _td___X,
                                                                           dafny.TypeDescriptor<__Y> _td___Y,
                                                                           dafny.DafnyMap<? extends __X,? extends __Y> m,
                                                                           __X x)

Restrict

public static <__X,__Y> dafny.DafnyMap<? extends __X,? extends __Y> Restrict(dafny.TypeDescriptor<__X> _td___X,
                                                                             dafny.TypeDescriptor<__Y> _td___Y,
                                                                             dafny.DafnyMap<? extends __X,? extends __Y> m,
                                                                             dafny.DafnySet<? extends __X> xs)

Union

public static <__X,__Y> dafny.DafnyMap<? extends __X,? extends __Y> Union(dafny.TypeDescriptor<__X> _td___X,
                                                                          dafny.TypeDescriptor<__Y> _td___Y,
                                                                          dafny.DafnyMap<? extends __X,? extends __Y> m,
                                                                          dafny.DafnyMap<? extends __X,? extends __Y> m_k)

_typeDescriptor

public static dafny.TypeDescriptor<__default> _typeDescriptor()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object