dafny

Class Tuple3<T0,T1,T2>

java.lang.Object

dafny.Tuple3<T0,T1,T2>

public class Tuple3<T0,T1,T2>
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
Tuple3(T0 _0, T1 _1, T2 _2)

Method Summary

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

Tuple3

public Tuple3(T0 _0,
              T1 _1,
              T2 _2)

Method Detail

_typeDescriptor

public static <T0,T1,T2> TypeDescriptor<Tuple3<T0,T1,T2>> _typeDescriptor(TypeDescriptor<T0> _td_T0,
                                                                          TypeDescriptor<T1> _td_T1,
                                                                          TypeDescriptor<T2> _td_T2)

Default

public static <T0,T1,T2> Tuple3<T0,T1,T2> Default(T0 _default_T0,
                                                  T1 _default_T1,
                                                  T2 _default_T2)

create

public static <T0,T1,T2> Tuple3<T0,T1,T2> create(T0 _0,
                                                 T1 _1,
                                                 T2 _2)

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

dtor__0

public T0 dtor__0()

dtor__1

public T1 dtor__1()

dtor__2

public T2 dtor__2()