public abstract class PlaceResults
extends java.lang.Object
| Constructor and Description |
|---|
PlaceResults() |
| Modifier and Type | Method and Description |
|---|---|
static dafny.TypeDescriptor<PlaceResults> |
_typeDescriptor() |
static java.util.ArrayList<PlaceResults> |
AllSingletonConstructors() |
static PlaceResults |
create_Either() |
static PlaceResults |
create_Left() |
static PlaceResults |
create_Right() |
static PlaceResults |
Default() |
boolean |
is_Either() |
boolean |
is_Left() |
boolean |
is_Right() |
public static dafny.TypeDescriptor<PlaceResults> _typeDescriptor()
public static PlaceResults Default()
public static PlaceResults create_Left()
public static PlaceResults create_Right()
public static PlaceResults create_Either()
public boolean is_Left()
public boolean is_Right()
public boolean is_Either()
public static java.util.ArrayList<PlaceResults> AllSingletonConstructors()