Package dafny

Class Tuple17<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,T14,T15,T16>

java.lang.Object

dafny.Tuple17<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,T14,T15,T16>

public class Tuple17<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,T14,T15,T16>
extends Object

Constructor Summary

Constructors

Constructor	Description
Tuple17(T0 _0, T1 _1, T2 _2, T3 _3, T4 _4, T5 _5, T6 _6, T7 _7, T8 _8, T9 _9, T10 _10, T11 _11, T12 _12, T13 _13, T14 _14, T15 _15, T16 _16)

Method Summary

Modifier and Type	Method	Description
static <T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16> TypeDescriptor<Tuple17<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,T14,T15,T16>>	_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, TypeDescriptor<T10> _td_T10, TypeDescriptor<T11> _td_T11, TypeDescriptor<T12> _td_T12, TypeDescriptor<T13> _td_T13, TypeDescriptor<T14> _td_T14, TypeDescriptor<T15> _td_T15, TypeDescriptor<T16> _td_T16)
static <T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16> Tuple17<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,T14,T15,T16>	create(T0 _0, T1 _1, T2 _2, T3 _3, T4 _4, T5 _5, T6 _6, T7 _7, T8 _8, T9 _9, T10 _10, T11 _11, T12 _12, T13 _13, T14 _14, T15 _15, T16 _16)
static <T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16> Tuple17<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,T14,T15,T16>	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, T10 _default_T10, T11 _default_T11, T12 _default_T12, T13 _default_T13, T14 _default_T14, T15 _default_T15, T16 _default_T16)
T0	dtor__0()
T1	dtor__1()
T10	dtor__10()
T11	dtor__11()
T12	dtor__12()
T13	dtor__13()
T14	dtor__14()
T15	dtor__15()
T16	dtor__16()
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(Object obj)
int	hashCode()
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Details

Tuple17

public Tuple17(T0 _0,
 T1 _1,
 T2 _2,
 T3 _3,
 T4 _4,
 T5 _5,
 T6 _6,
 T7 _7,
 T8 _8,
 T9 _9,
 T10 _10,
 T11 _11,
 T12 _12,
 T13 _13,
 T14 _14,
 T15 _15,
 T16 _16)

Method Details

_typeDescriptor

public static <T0,
T1,
T2,
T3,
T4,
T5,
T6,
T7,
T8,
T9,
T10,
T11,
T12,
T13,
T14,
T15,
T16>
TypeDescriptor<Tuple17<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,T14,T15,T16>> _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,
 TypeDescriptor<T10> _td_T10,
 TypeDescriptor<T11> _td_T11,
 TypeDescriptor<T12> _td_T12,
 TypeDescriptor<T13> _td_T13,
 TypeDescriptor<T14> _td_T14,
 TypeDescriptor<T15> _td_T15,
 TypeDescriptor<T16> _td_T16)

Default

public static <T0,
T1,
T2,
T3,
T4,
T5,
T6,
T7,
T8,
T9,
T10,
T11,
T12,
T13,
T14,
T15,
T16>
Tuple17<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,T14,T15,T16> 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,
 T10 _default_T10,
 T11 _default_T11,
 T12 _default_T12,
 T13 _default_T13,
 T14 _default_T14,
 T15 _default_T15,
 T16 _default_T16)

create

public static <T0,
T1,
T2,
T3,
T4,
T5,
T6,
T7,
T8,
T9,
T10,
T11,
T12,
T13,
T14,
T15,
T16>
Tuple17<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,T14,T15,T16> create(T0 _0,
 T1 _1,
 T2 _2,
 T3 _3,
 T4 _4,
 T5 _5,
 T6 _6,
 T7 _7,
 T8 _8,
 T9 _9,
 T10 _10,
 T11 _11,
 T12 _12,
 T13 _13,
 T14 _14,
 T15 _15,
 T16 _16)

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

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

dtor__10

public T10 dtor__10()

dtor__11

public T11 dtor__11()

dtor__12

public T12 dtor__12()

dtor__13

public T13 dtor__13()

dtor__14

public T14 dtor__14()

dtor__15

public T15 dtor__15()

dtor__16

public T16 dtor__16()