OptimizedMergeSort_Compile

Class PlaceResults

java.lang.Object

OptimizedMergeSort_Compile.PlaceResults

Direct Known Subclasses:

PlaceResults_Either, PlaceResults_Left, PlaceResults_Right

public abstract class PlaceResults
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
PlaceResults()

Method Summary

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()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PlaceResults

public PlaceResults()

Method Detail

_typeDescriptor

public static dafny.TypeDescriptor<PlaceResults> _typeDescriptor()

Default

public static PlaceResults Default()

create_Left

public static PlaceResults create_Left()

create_Right

public static PlaceResults create_Right()

create_Either

public static PlaceResults create_Either()

is_Left

public boolean is_Left()

is_Right

public boolean is_Right()

is_Either

public boolean is_Either()

AllSingletonConstructors

public static java.util.ArrayList<PlaceResults> AllSingletonConstructors()