dafny

Class Tuple10<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9>

java.lang.Object

dafny.Tuple10<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9>

public class Tuple10<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9>
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
Tuple10(T0 _0, T1 _1, T2 _2, T3 _3, T4 _4, T5 _5, T6 _6, T7 _7, T8 _8, T9 _9)

Method Summary

Modifier and Type	Method and Description
static <T0,T1,T2,T3,T4,T5,T6,T7,T8,T9> TypeDescriptor<Tuple10<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9>>	_typeDescriptor(TypeDescriptor<T0> _td_T0, TypeDescriptor<T1> _td_T1, TypeDescriptor<T2> _td_T2, TypeDescriptor<T3> _td_T3, TypeDescriptor<T4> _td_T4, TypeDescriptor<T5> _td_T5, TypeDescriptor<T6> _td_T6, TypeDescriptor<T7> _td_T7, TypeDescriptor<T8> _td_T8, TypeDescriptor<T9> _td_T9)
static <T0,T1,T2,T3,T4,T5,T6,T7,T8,T9> Tuple10<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9>	create(T0 _0, T1 _1, T2 _2, T3 _3, T4 _4, T5 _5, T6 _6, T7 _7, T8 _8, T9 _9)
static <T0,T1,T2,T3,T4,T5,T6,T7,T8,T9> Tuple10<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9>	Default(T0 _default_T0, T1 _default_T1, T2 _default_T2, T3 _default_T3, T4 _default_T4, T5 _default_T5, T6 _default_T6, T7 _default_T7, T8 _default_T8, T9 _default_T9)
T0	dtor__0()
T1	dtor__1()
T2	dtor__2()
T3	dtor__3()
T4	dtor__4()
T5	dtor__5()
T6	dtor__6()
T7	dtor__7()
T8	dtor__8()
T9	dtor__9()
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

Tuple10

public Tuple10(T0 _0,
               T1 _1,
               T2 _2,
               T3 _3,
               T4 _4,
               T5 _5,
               T6 _6,
               T7 _7,
               T8 _8,
               T9 _9)

Method Detail

_typeDescriptor

public static <T0,T1,T2,T3,T4,T5,T6,T7,T8,T9> TypeDescriptor<Tuple10<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9>> _typeDescriptor(TypeDescriptor<T0> _td_T0,
                                                                                                                     TypeDescriptor<T1> _td_T1,
                                                                                                                     TypeDescriptor<T2> _td_T2,
                                                                                                                     TypeDescriptor<T3> _td_T3,
                                                                                                                     TypeDescriptor<T4> _td_T4,
                                                                                                                     TypeDescriptor<T5> _td_T5,
                                                                                                                     TypeDescriptor<T6> _td_T6,
                                                                                                                     TypeDescriptor<T7> _td_T7,
                                                                                                                     TypeDescriptor<T8> _td_T8,
                                                                                                                     TypeDescriptor<T9> _td_T9)

Default

public static <T0,T1,T2,T3,T4,T5,T6,T7,T8,T9> Tuple10<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9> Default(T0 _default_T0,
                                                                                             T1 _default_T1,
                                                                                             T2 _default_T2,
                                                                                             T3 _default_T3,
                                                                                             T4 _default_T4,
                                                                                             T5 _default_T5,
                                                                                             T6 _default_T6,
                                                                                             T7 _default_T7,
                                                                                             T8 _default_T8,
                                                                                             T9 _default_T9)

create

public static <T0,T1,T2,T3,T4,T5,T6,T7,T8,T9> Tuple10<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9> create(T0 _0,
                                                                                            T1 _1,
                                                                                            T2 _2,
                                                                                            T3 _3,
                                                                                            T4 _4,
                                                                                            T5 _5,
                                                                                            T6 _6,
                                                                                            T7 _7,
                                                                                            T8 _8,
                                                                                            T9 _9)

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

dtor__3

public T3 dtor__3()

dtor__4

public T4 dtor__4()

dtor__5

public T5 dtor__5()

dtor__6

public T6 dtor__6()

dtor__7

public T7 dtor__7()

dtor__8

public T8 dtor__8()

dtor__9

public T9 dtor__9()