public abstract class MaybeKeyMap
extends java.lang.Object
| Constructor and Description |
|---|
MaybeKeyMap() |
| Modifier and Type | Method and Description |
|---|---|
static dafny.TypeDescriptor<MaybeKeyMap> |
_typeDescriptor() |
static MaybeKeyMap |
create_DontUseKeys() |
static MaybeKeyMap |
create_Keys(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Byte>> value) |
static MaybeKeyMap |
create_ShouldHaveKeys() |
static MaybeKeyMap |
Default() |
dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Byte>> |
dtor_value() |
boolean |
is_DontUseKeys() |
boolean |
is_Keys() |
boolean |
is_ShouldHaveKeys() |
public static MaybeKeyMap Default()
public static dafny.TypeDescriptor<MaybeKeyMap> _typeDescriptor()
public static MaybeKeyMap create_DontUseKeys()
public static MaybeKeyMap create_ShouldHaveKeys()
public static MaybeKeyMap create_Keys(dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Byte>> value)
public boolean is_DontUseKeys()
public boolean is_ShouldHaveKeys()
public boolean is_Keys()
public dafny.DafnyMap<? extends dafny.DafnySequence<? extends java.lang.Character>,? extends dafny.DafnySequence<? extends java.lang.Byte>> dtor_value()