public abstract class AuthenticateAction
extends java.lang.Object
| Constructor and Description |
|---|
AuthenticateAction() |
| Modifier and Type | Method and Description |
|---|---|
static dafny.TypeDescriptor<AuthenticateAction> |
_typeDescriptor() |
static java.util.ArrayList<AuthenticateAction> |
AllSingletonConstructors() |
static AuthenticateAction |
create_DO__NOT__SIGN() |
static AuthenticateAction |
create_SIGN() |
static AuthenticateAction |
Default() |
boolean |
is_DO__NOT__SIGN() |
boolean |
is_SIGN() |
public static AuthenticateAction Default()
public static dafny.TypeDescriptor<AuthenticateAction> _typeDescriptor()
public static AuthenticateAction create_SIGN()
public static AuthenticateAction create_DO__NOT__SIGN()
public boolean is_SIGN()
public boolean is_DO__NOT__SIGN()
public static java.util.ArrayList<AuthenticateAction> AllSingletonConstructors()