LocalCMC_Compile

Class __default

java.lang.Object

LocalCMC_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 int	INT32__MAX__VALUE()
static long	INT64__MAX__VALUE()
static Ref<CacheEntry>	NULL()
static <__K,__V> void	RemoveValue(dafny.TypeDescriptor<__K> _td___K, dafny.TypeDescriptor<__V> _td___V, __K k0, dafny.DafnyMap<? extends __K,? extends __V> m)
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

__default

public __default()

Method Detail

RemoveValue

public static <__K,__V> void RemoveValue(dafny.TypeDescriptor<__K> _td___K,
                                         dafny.TypeDescriptor<__V> _td___V,
                                         __K k0,
                                         dafny.DafnyMap<? extends __K,? extends __V> m)

NULL

public static Ref<CacheEntry> NULL()

INT32__MAX__VALUE

public static int INT32__MAX__VALUE()

INT64__MAX__VALUE

public static long INT64__MAX__VALUE()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object