Package dafny

Class Tuple4<T0,T1,T2,T3>

java.lang.Object

dafny.Tuple4<T0,T1,T2,T3>

public class Tuple4<T0,T1,T2,T3>
extends Object

Constructor Summary

Constructors

Constructor	Description
Tuple4(T0 _0, T1 _1, T2 _2, T3 _3)

Method Summary

Modifier and Type	Method	Description
static <T0, T1, T2, T3> TypeDescriptor<Tuple4<T0,T1,T2,T3>>	_typeDescriptor(TypeDescriptor<T0> _td_T0, TypeDescriptor<T1> _td_T1, TypeDescriptor<T2> _td_T2, TypeDescriptor<T3> _td_T3)
static <T0, T1, T2, T3> Tuple4<T0,T1,T2,T3>	create(T0 _0, T1 _1, T2 _2, T3 _3)
static <T0, T1, T2, T3> Tuple4<T0,T1,T2,T3>	Default(T0 _default_T0, T1 _default_T1, T2 _default_T2, T3 _default_T3)
T0	dtor__0()
T1	dtor__1()
T2	dtor__2()
T3	dtor__3()
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

Tuple4

public Tuple4(T0 _0,
 T1 _1,
 T2 _2,
 T3 _3)

Method Details

_typeDescriptor

public static <T0,
T1,
T2,
T3>
TypeDescriptor<Tuple4<T0,T1,T2,T3>> _typeDescriptor(TypeDescriptor<T0> _td_T0,
 TypeDescriptor<T1> _td_T1,
 TypeDescriptor<T2> _td_T2,
 TypeDescriptor<T3> _td_T3)

Default

public static <T0,
T1,
T2,
T3> Tuple4<T0,T1,T2,T3> Default(T0 _default_T0,
 T1 _default_T1,
 T2 _default_T2,
 T3 _default_T3)

create

public static <T0,
T1,
T2,
T3> Tuple4<T0,T1,T2,T3> create(T0 _0,
 T1 _1,
 T2 _2,
 T3 _3)

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

dtor__0

public T0 dtor__0()

dtor__1

public T1 dtor__1()

dtor__2

public T2 dtor__2()

dtor__3

public T3 dtor__3()