public abstract class AesWrappingAlg
extends java.lang.Object
| Constructor and Description |
|---|
AesWrappingAlg() |
| Modifier and Type | Method and Description |
|---|---|
static dafny.TypeDescriptor<AesWrappingAlg> |
_typeDescriptor() |
static java.util.ArrayList<AesWrappingAlg> |
AllSingletonConstructors() |
static AesWrappingAlg |
create_ALG__AES128__GCM__IV12__TAG16() |
static AesWrappingAlg |
create_ALG__AES192__GCM__IV12__TAG16() |
static AesWrappingAlg |
create_ALG__AES256__GCM__IV12__TAG16() |
static AesWrappingAlg |
Default() |
boolean |
is_ALG__AES128__GCM__IV12__TAG16() |
boolean |
is_ALG__AES192__GCM__IV12__TAG16() |
boolean |
is_ALG__AES256__GCM__IV12__TAG16() |
public static AesWrappingAlg Default()
public static dafny.TypeDescriptor<AesWrappingAlg> _typeDescriptor()
public static AesWrappingAlg create_ALG__AES128__GCM__IV12__TAG16()
public static AesWrappingAlg create_ALG__AES192__GCM__IV12__TAG16()
public static AesWrappingAlg create_ALG__AES256__GCM__IV12__TAG16()
public boolean is_ALG__AES128__GCM__IV12__TAG16()
public boolean is_ALG__AES192__GCM__IV12__TAG16()
public boolean is_ALG__AES256__GCM__IV12__TAG16()
public static java.util.ArrayList<AesWrappingAlg> AllSingletonConstructors()