Package dafny

Class Tuple0

java.lang.Object

dafny.Tuple0

public class Tuple0
extends Object

Constructor Summary

Constructors

Constructor	Description
Tuple0()

Method Summary

Modifier and Type	Method	Description
static TypeDescriptor<Tuple0>	_typeDescriptor()
static Tuple0	create()
static Tuple0	Default()
boolean	equals(Object obj)
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Details

Tuple0

public Tuple0()

Method Details

_typeDescriptor

public static TypeDescriptor<Tuple0> _typeDescriptor()

Default

public static Tuple0 Default()

create

public static Tuple0 create()

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object