dafny

Class Tuple0

java.lang.Object

dafny.Tuple0

public class Tuple0
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
Tuple0()

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

Tuple0

public Tuple0()

Method Detail

_typeDescriptor

public static TypeDescriptor<Tuple0> _typeDescriptor()

Default

public static Tuple0 Default()

create

public static Tuple0 create()

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object