public abstract class Materials
extends java.lang.Object
| Constructor and Description |
|---|
Materials() |
| Modifier and Type | Method and Description |
|---|---|
static dafny.TypeDescriptor<Materials> |
_typeDescriptor() |
static Materials |
create_BeaconKey(BeaconKeyMaterials BeaconKey) |
static Materials |
create_BranchKey(BranchKeyMaterials BranchKey) |
static Materials |
create_Decryption(DecryptionMaterials Decryption) |
static Materials |
create_Encryption(EncryptionMaterials Encryption) |
static Materials |
Default() |
BeaconKeyMaterials |
dtor_BeaconKey() |
BranchKeyMaterials |
dtor_BranchKey() |
DecryptionMaterials |
dtor_Decryption() |
EncryptionMaterials |
dtor_Encryption() |
boolean |
is_BeaconKey() |
boolean |
is_BranchKey() |
boolean |
is_Decryption() |
boolean |
is_Encryption() |
public static Materials Default()
public static dafny.TypeDescriptor<Materials> _typeDescriptor()
public static Materials create_Encryption(EncryptionMaterials Encryption)
public static Materials create_Decryption(DecryptionMaterials Decryption)
public static Materials create_BranchKey(BranchKeyMaterials BranchKey)
public static Materials create_BeaconKey(BeaconKeyMaterials BeaconKey)
public boolean is_Encryption()
public boolean is_Decryption()
public boolean is_BranchKey()
public boolean is_BeaconKey()
public EncryptionMaterials dtor_Encryption()
public DecryptionMaterials dtor_Decryption()
public BranchKeyMaterials dtor_BranchKey()
public BeaconKeyMaterials dtor_BeaconKey()