public abstract class EncryptionSelector
extends java.lang.Object
| Constructor and Description |
|---|
EncryptionSelector() |
| Modifier and Type | Method and Description |
|---|---|
static dafny.TypeDescriptor<EncryptionSelector> |
_typeDescriptor() |
static java.util.ArrayList<EncryptionSelector> |
AllSingletonConstructors() |
static EncryptionSelector |
create_DoDecrypt() |
static EncryptionSelector |
create_DoEncrypt() |
static EncryptionSelector |
Default() |
boolean |
is_DoDecrypt() |
boolean |
is_DoEncrypt() |
public static EncryptionSelector Default()
public static dafny.TypeDescriptor<EncryptionSelector> _typeDescriptor()
public static EncryptionSelector create_DoEncrypt()
public static EncryptionSelector create_DoDecrypt()
public boolean is_DoEncrypt()
public boolean is_DoDecrypt()
public static java.util.ArrayList<EncryptionSelector> AllSingletonConstructors()