Index

A B C D E F G H I K L M N O Q R S T U V W Z _
All Classes and Interfaces|All Packages|Serialized Form

A

add(BigRational) - Method in class dafny.BigRational

add(BigRational, BigRational) - Static method in class dafny.BigRational

add(T) - Method in class dafny.DafnySet

addAll(DafnySet<T>) - Method in class dafny.DafnySet

AllBooleans() - Static method in class dafny.Helpers

AllChars() - Static method in class dafny.Helpers

AllIntegers() - Static method in class dafny.Helpers

AllSubsets() - Method in class dafny.DafnySet

AllUnicodeChars() - Static method in class dafny.Helpers

Array<T> - Class in dafny

A wrapper for an array that may be of primitive type.

arrayDeepEquals(Object, Object) - Method in class dafny.TypeDescriptor

arrayType() - Method in class dafny.TypeDescriptor

asDafnyMultiset() - Method in class dafny.DafnySequence

asDafnyMultiset() - Method in class dafny.DafnySet

asList() - Method in class dafny.DafnySequence

asString(String) - Static method in class dafny.DafnySequence

asUnicodeString(String) - Static method in class dafny.DafnySequence

B

BIG_INTEGER - Static variable in class dafny.TypeDescriptor

BIG_RATIONAL - Static variable in class dafny.TypeDescriptor

BigOrdinal - Class in dafny

BigOrdinal() - Constructor for class dafny.BigOrdinal

BigRational - Class in dafny

BigRational() - Constructor for class dafny.BigRational

BigRational(int) - Constructor for class dafny.BigRational

BigRational(int, int) - Constructor for class dafny.BigRational

BigRational(BigInteger, BigInteger) - Constructor for class dafny.BigRational

BOOLEAN - Static variable in class dafny.TypeDescriptor

BOOLEAN_ARRAY - Static variable in class dafny.TypeDescriptor

booleanWithDefault(boolean) - Static method in class dafny.TypeDescriptor

bv16ShiftRight(short, byte) - Static method in class dafny.Helpers

bv32ShiftLeft(int, byte) - Static method in class dafny.Helpers

bv32ShiftRight(int, byte) - Static method in class dafny.Helpers

bv64ShiftLeft(long, byte) - Static method in class dafny.Helpers

bv64ShiftRight(long, byte) - Static method in class dafny.Helpers

bv8ShiftRight(byte, byte) - Static method in class dafny.Helpers

BYTE - Static variable in class dafny.TypeDescriptor

BYTE_ARRAY - Static variable in class dafny.TypeDescriptor

byteWithDefault(byte) - Static method in class dafny.TypeDescriptor

C

cardinality() - Method in class dafny.DafnyMultiset

cardinalityInt() - Method in class dafny.DafnyMap

cardinalityInt() - Method in class dafny.DafnyMultiset

cardinalityInt() - Method in class dafny.DafnySequence

cardinalityInt() - Method in class dafny.DafnySet

CHAR - Static variable in class dafny.TypeDescriptor

CHAR_ARRAY - Static variable in class dafny.TypeDescriptor

charWithDefault(char) - Static method in class dafny.TypeDescriptor

clone() - Method in class dafny.DafnyMultiset

cloneArray(Object) - Method in class dafny.TypeDescriptor

CodePoint - Class in dafny

An int wrapper type just like java.lang.Integer, but used as a more type-safe reference to a Unicode scalar value specifically, which corresponds to the Dafny `char` type when using --unicode-char.

compareTo(BigRational) - Method in class dafny.BigRational

concatenate(DafnySequence<? extends T>, DafnySequence<? extends T>) - Static method in class dafny.DafnySequence

contains(Object) - Method in class dafny.DafnyMap

contains(Object) - Method in class dafny.DafnyMultiset

contains(Object) - Method in class dafny.DafnySequence

contains(Object) - Method in class dafny.DafnySet

containsAll(DafnySet) - Method in class dafny.DafnySet

copy() - Method in class dafny.Array

copy(int, Array<T>, int, int) - Method in class dafny.Array

copyArrayTo(Object, int, Object, int, int) - Method in class dafny.TypeDescriptor

copyOfRange(int, int) - Method in class dafny.Array

create() - Static method in class dafny.Tuple0

create(T0) - Static method in class dafny.Tuple1

create(T0, T1) - Static method in class dafny.Tuple2

create(T0, T1, T2) - Static method in class dafny.Tuple3

create(T0, T1, T2, T3) - Static method in class dafny.Tuple4

create(T0, T1, T2, T3, T4) - Static method in class dafny.Tuple5

create(T0, T1, T2, T3, T4, T5) - Static method in class dafny.Tuple6

create(T0, T1, T2, T3, T4, T5, T6) - Static method in class dafny.Tuple7

create(T0, T1, T2, T3, T4, T5, T6, T7) - Static method in class dafny.Tuple8

create(T0, T1, T2, T3, T4, T5, T6, T7, T8) - Static method in class dafny.Tuple9

create(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9) - Static method in class dafny.Tuple10

create(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10) - Static method in class dafny.Tuple11

create(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11) - Static method in class dafny.Tuple12

create(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12) - Static method in class dafny.Tuple13

create(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13) - Static method in class dafny.Tuple14

create(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14) - Static method in class dafny.Tuple15

create(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15) - Static method in class dafny.Tuple16

create(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16) - Static method in class dafny.Tuple17

create(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17) - Static method in class dafny.Tuple18

create(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18) - Static method in class dafny.Tuple19

create(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19) - Static method in class dafny.Tuple20

Create(TypeDescriptor<T>, BigInteger, Function<BigInteger, T>) - Static method in class dafny.DafnySequence

D

dafny - package dafny

DafnyEuclidean - Class in dafny

DafnyEuclidean() - Constructor for class dafny.DafnyEuclidean

DafnyHaltException - Exception Class in dafny

DafnyHaltException(String) - Constructor for exception class dafny.DafnyHaltException

DafnyMap<K,V> - Class in dafny

DafnyMap() - Constructor for class dafny.DafnyMap

DafnyMap(Map<K, V>) - Constructor for class dafny.DafnyMap

DafnyMultiset<T> - Class in dafny

DafnyMultiset() - Constructor for class dafny.DafnyMultiset

DafnyMultiset(Collection<T>) - Constructor for class dafny.DafnyMultiset

DafnyMultiset(List<T>) - Constructor for class dafny.DafnyMultiset

DafnyMultiset(Map<T, BigInteger>) - Constructor for class dafny.DafnyMultiset

DafnyMultiset(Set<T>) - Constructor for class dafny.DafnyMultiset

DafnySequence<T> - Class in dafny

DafnySet<T> - Class in dafny

DafnySet() - Constructor for class dafny.DafnySet

DafnySet(DafnySet<T>) - Constructor for class dafny.DafnySet

DafnySet(Collection<T>) - Constructor for class dafny.DafnySet

DafnySet(List<T>) - Constructor for class dafny.DafnySet

DafnySet(Set<T>) - Constructor for class dafny.DafnySet

deepEquals(Array<T>) - Method in class dafny.Array

Default() - Static method in class dafny.Tuple0

Default(T0) - Static method in class dafny.Tuple1

Default(T0, T1) - Static method in class dafny.Tuple2

Default(T0, T1, T2) - Static method in class dafny.Tuple3

Default(T0, T1, T2, T3) - Static method in class dafny.Tuple4

Default(T0, T1, T2, T3, T4) - Static method in class dafny.Tuple5

Default(T0, T1, T2, T3, T4, T5) - Static method in class dafny.Tuple6

Default(T0, T1, T2, T3, T4, T5, T6) - Static method in class dafny.Tuple7

Default(T0, T1, T2, T3, T4, T5, T6, T7) - Static method in class dafny.Tuple8

Default(T0, T1, T2, T3, T4, T5, T6, T7, T8) - Static method in class dafny.Tuple9

Default(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9) - Static method in class dafny.Tuple10

Default(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10) - Static method in class dafny.Tuple11

Default(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11) - Static method in class dafny.Tuple12

Default(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12) - Static method in class dafny.Tuple13

Default(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13) - Static method in class dafny.Tuple14

Default(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14) - Static method in class dafny.Tuple15

Default(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15) - Static method in class dafny.Tuple16

Default(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16) - Static method in class dafny.Tuple17

Default(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17) - Static method in class dafny.Tuple18

Default(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18) - Static method in class dafny.Tuple19

Default(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19) - Static method in class dafny.Tuple20

defaultValue() - Method in class dafny.TypeDescriptor

defaultValue() - Method in interface dafny.TypeDescriptor.Initializer

difference(DafnyMultiset<? extends T>, DafnyMultiset<? extends T>) - Static method in class dafny.DafnyMultiset

difference(DafnySet<? extends T>, DafnySet<? extends T>) - Static method in class dafny.DafnySet

disjoint(DafnyMultiset<? extends U>) - Method in class dafny.DafnyMultiset

disjoint(DafnySet<? extends U>) - Method in class dafny.DafnySet

divide(BigRational) - Method in class dafny.BigRational

divide(BigRational, BigRational) - Static method in class dafny.BigRational

dividesAPowerOf10(BigInteger) - Static method in class dafny.BigRational

divideUnsignedByte(byte, byte) - Static method in class dafny.Helpers

divideUnsignedShort(short, short) - Static method in class dafny.Helpers

drop(int) - Method in class dafny.DafnySequence

drop(long) - Method in class dafny.DafnySequence

drop(BigInteger) - Method in class dafny.DafnySequence

dropUnsigned(byte) - Method in class dafny.DafnySequence

dropUnsigned(int) - Method in class dafny.DafnySequence

dropUnsigned(long) - Method in class dafny.DafnySequence

dropUnsigned(short) - Method in class dafny.DafnySequence

dtor__0() - Method in class dafny.Tuple1

dtor__0() - Method in class dafny.Tuple10

dtor__0() - Method in class dafny.Tuple11

dtor__0() - Method in class dafny.Tuple12

dtor__0() - Method in class dafny.Tuple13

dtor__0() - Method in class dafny.Tuple14

dtor__0() - Method in class dafny.Tuple15

dtor__0() - Method in class dafny.Tuple16

dtor__0() - Method in class dafny.Tuple17

dtor__0() - Method in class dafny.Tuple18

dtor__0() - Method in class dafny.Tuple19

dtor__0() - Method in class dafny.Tuple2

dtor__0() - Method in class dafny.Tuple20

dtor__0() - Method in class dafny.Tuple3

dtor__0() - Method in class dafny.Tuple4

dtor__0() - Method in class dafny.Tuple5

dtor__0() - Method in class dafny.Tuple6

dtor__0() - Method in class dafny.Tuple7

dtor__0() - Method in class dafny.Tuple8

dtor__0() - Method in class dafny.Tuple9

dtor__1() - Method in class dafny.Tuple10

dtor__1() - Method in class dafny.Tuple11

dtor__1() - Method in class dafny.Tuple12

dtor__1() - Method in class dafny.Tuple13

dtor__1() - Method in class dafny.Tuple14

dtor__1() - Method in class dafny.Tuple15

dtor__1() - Method in class dafny.Tuple16

dtor__1() - Method in class dafny.Tuple17

dtor__1() - Method in class dafny.Tuple18

dtor__1() - Method in class dafny.Tuple19

dtor__1() - Method in class dafny.Tuple2

dtor__1() - Method in class dafny.Tuple20

dtor__1() - Method in class dafny.Tuple3

dtor__1() - Method in class dafny.Tuple4

dtor__1() - Method in class dafny.Tuple5

dtor__1() - Method in class dafny.Tuple6

dtor__1() - Method in class dafny.Tuple7

dtor__1() - Method in class dafny.Tuple8

dtor__1() - Method in class dafny.Tuple9

dtor__10() - Method in class dafny.Tuple11

dtor__10() - Method in class dafny.Tuple12

dtor__10() - Method in class dafny.Tuple13

dtor__10() - Method in class dafny.Tuple14

dtor__10() - Method in class dafny.Tuple15

dtor__10() - Method in class dafny.Tuple16

dtor__10() - Method in class dafny.Tuple17

dtor__10() - Method in class dafny.Tuple18

dtor__10() - Method in class dafny.Tuple19

dtor__10() - Method in class dafny.Tuple20

dtor__11() - Method in class dafny.Tuple12

dtor__11() - Method in class dafny.Tuple13

dtor__11() - Method in class dafny.Tuple14

dtor__11() - Method in class dafny.Tuple15

dtor__11() - Method in class dafny.Tuple16

dtor__11() - Method in class dafny.Tuple17

dtor__11() - Method in class dafny.Tuple18

dtor__11() - Method in class dafny.Tuple19

dtor__11() - Method in class dafny.Tuple20

dtor__12() - Method in class dafny.Tuple13

dtor__12() - Method in class dafny.Tuple14

dtor__12() - Method in class dafny.Tuple15

dtor__12() - Method in class dafny.Tuple16

dtor__12() - Method in class dafny.Tuple17

dtor__12() - Method in class dafny.Tuple18

dtor__12() - Method in class dafny.Tuple19

dtor__12() - Method in class dafny.Tuple20

dtor__13() - Method in class dafny.Tuple14

dtor__13() - Method in class dafny.Tuple15

dtor__13() - Method in class dafny.Tuple16

dtor__13() - Method in class dafny.Tuple17

dtor__13() - Method in class dafny.Tuple18

dtor__13() - Method in class dafny.Tuple19

dtor__13() - Method in class dafny.Tuple20

dtor__14() - Method in class dafny.Tuple15

dtor__14() - Method in class dafny.Tuple16

dtor__14() - Method in class dafny.Tuple17

dtor__14() - Method in class dafny.Tuple18

dtor__14() - Method in class dafny.Tuple19

dtor__14() - Method in class dafny.Tuple20

dtor__15() - Method in class dafny.Tuple16

dtor__15() - Method in class dafny.Tuple17

dtor__15() - Method in class dafny.Tuple18

dtor__15() - Method in class dafny.Tuple19

dtor__15() - Method in class dafny.Tuple20

dtor__16() - Method in class dafny.Tuple17

dtor__16() - Method in class dafny.Tuple18

dtor__16() - Method in class dafny.Tuple19

dtor__16() - Method in class dafny.Tuple20

dtor__17() - Method in class dafny.Tuple18

dtor__17() - Method in class dafny.Tuple19

dtor__17() - Method in class dafny.Tuple20

dtor__18() - Method in class dafny.Tuple19

dtor__18() - Method in class dafny.Tuple20

dtor__19() - Method in class dafny.Tuple20

dtor__2() - Method in class dafny.Tuple10

dtor__2() - Method in class dafny.Tuple11

dtor__2() - Method in class dafny.Tuple12

dtor__2() - Method in class dafny.Tuple13

dtor__2() - Method in class dafny.Tuple14

dtor__2() - Method in class dafny.Tuple15

dtor__2() - Method in class dafny.Tuple16

dtor__2() - Method in class dafny.Tuple17

dtor__2() - Method in class dafny.Tuple18

dtor__2() - Method in class dafny.Tuple19

dtor__2() - Method in class dafny.Tuple20

dtor__2() - Method in class dafny.Tuple3

dtor__2() - Method in class dafny.Tuple4

dtor__2() - Method in class dafny.Tuple5

dtor__2() - Method in class dafny.Tuple6

dtor__2() - Method in class dafny.Tuple7

dtor__2() - Method in class dafny.Tuple8

dtor__2() - Method in class dafny.Tuple9

dtor__3() - Method in class dafny.Tuple10

dtor__3() - Method in class dafny.Tuple11

dtor__3() - Method in class dafny.Tuple12

dtor__3() - Method in class dafny.Tuple13

dtor__3() - Method in class dafny.Tuple14

dtor__3() - Method in class dafny.Tuple15

dtor__3() - Method in class dafny.Tuple16

dtor__3() - Method in class dafny.Tuple17

dtor__3() - Method in class dafny.Tuple18

dtor__3() - Method in class dafny.Tuple19

dtor__3() - Method in class dafny.Tuple20

dtor__3() - Method in class dafny.Tuple4

dtor__3() - Method in class dafny.Tuple5

dtor__3() - Method in class dafny.Tuple6

dtor__3() - Method in class dafny.Tuple7

dtor__3() - Method in class dafny.Tuple8

dtor__3() - Method in class dafny.Tuple9

dtor__4() - Method in class dafny.Tuple10

dtor__4() - Method in class dafny.Tuple11

dtor__4() - Method in class dafny.Tuple12

dtor__4() - Method in class dafny.Tuple13

dtor__4() - Method in class dafny.Tuple14

dtor__4() - Method in class dafny.Tuple15

dtor__4() - Method in class dafny.Tuple16

dtor__4() - Method in class dafny.Tuple17

dtor__4() - Method in class dafny.Tuple18

dtor__4() - Method in class dafny.Tuple19

dtor__4() - Method in class dafny.Tuple20

dtor__4() - Method in class dafny.Tuple5

dtor__4() - Method in class dafny.Tuple6

dtor__4() - Method in class dafny.Tuple7

dtor__4() - Method in class dafny.Tuple8

dtor__4() - Method in class dafny.Tuple9

dtor__5() - Method in class dafny.Tuple10

dtor__5() - Method in class dafny.Tuple11

dtor__5() - Method in class dafny.Tuple12

dtor__5() - Method in class dafny.Tuple13

dtor__5() - Method in class dafny.Tuple14

dtor__5() - Method in class dafny.Tuple15

dtor__5() - Method in class dafny.Tuple16

dtor__5() - Method in class dafny.Tuple17

dtor__5() - Method in class dafny.Tuple18

dtor__5() - Method in class dafny.Tuple19

dtor__5() - Method in class dafny.Tuple20

dtor__5() - Method in class dafny.Tuple6

dtor__5() - Method in class dafny.Tuple7

dtor__5() - Method in class dafny.Tuple8

dtor__5() - Method in class dafny.Tuple9

dtor__6() - Method in class dafny.Tuple10

dtor__6() - Method in class dafny.Tuple11

dtor__6() - Method in class dafny.Tuple12

dtor__6() - Method in class dafny.Tuple13

dtor__6() - Method in class dafny.Tuple14

dtor__6() - Method in class dafny.Tuple15

dtor__6() - Method in class dafny.Tuple16

dtor__6() - Method in class dafny.Tuple17

dtor__6() - Method in class dafny.Tuple18

dtor__6() - Method in class dafny.Tuple19

dtor__6() - Method in class dafny.Tuple20

dtor__6() - Method in class dafny.Tuple7

dtor__6() - Method in class dafny.Tuple8

dtor__6() - Method in class dafny.Tuple9

dtor__7() - Method in class dafny.Tuple10

dtor__7() - Method in class dafny.Tuple11

dtor__7() - Method in class dafny.Tuple12

dtor__7() - Method in class dafny.Tuple13

dtor__7() - Method in class dafny.Tuple14

dtor__7() - Method in class dafny.Tuple15

dtor__7() - Method in class dafny.Tuple16

dtor__7() - Method in class dafny.Tuple17

dtor__7() - Method in class dafny.Tuple18

dtor__7() - Method in class dafny.Tuple19

dtor__7() - Method in class dafny.Tuple20

dtor__7() - Method in class dafny.Tuple8

dtor__7() - Method in class dafny.Tuple9

dtor__8() - Method in class dafny.Tuple10

dtor__8() - Method in class dafny.Tuple11

dtor__8() - Method in class dafny.Tuple12

dtor__8() - Method in class dafny.Tuple13

dtor__8() - Method in class dafny.Tuple14

dtor__8() - Method in class dafny.Tuple15

dtor__8() - Method in class dafny.Tuple16

dtor__8() - Method in class dafny.Tuple17

dtor__8() - Method in class dafny.Tuple18

dtor__8() - Method in class dafny.Tuple19

dtor__8() - Method in class dafny.Tuple20

dtor__8() - Method in class dafny.Tuple9

dtor__9() - Method in class dafny.Tuple10

dtor__9() - Method in class dafny.Tuple11

dtor__9() - Method in class dafny.Tuple12

dtor__9() - Method in class dafny.Tuple13

dtor__9() - Method in class dafny.Tuple14

dtor__9() - Method in class dafny.Tuple15

dtor__9() - Method in class dafny.Tuple16

dtor__9() - Method in class dafny.Tuple17

dtor__9() - Method in class dafny.Tuple18

dtor__9() - Method in class dafny.Tuple19

dtor__9() - Method in class dafny.Tuple20

E

Elements() - Method in class dafny.DafnyMultiset

Elements() - Method in class dafny.DafnySequence

Elements() - Method in class dafny.DafnySet

elementType() - Method in class dafny.Array

elementType() - Method in class dafny.DafnySequence

empty() - Static method in class dafny.DafnyMap

empty() - Static method in class dafny.DafnyMultiset

empty() - Static method in class dafny.DafnySet

empty(TypeDescriptor<T>) - Static method in class dafny.DafnySequence

entrySet() - Method in class dafny.DafnyMap

equals(Object) - Method in class dafny.BigRational

equals(Object) - Method in class dafny.CodePoint

equals(Object) - Method in class dafny.DafnyMap

equals(Object) - Method in class dafny.DafnyMultiset

equals(Object) - Method in class dafny.DafnySequence

equals(Object) - Method in class dafny.DafnySet

equals(Object) - Method in class dafny.Tuple0

equals(Object) - Method in class dafny.Tuple1

equals(Object) - Method in class dafny.Tuple10

equals(Object) - Method in class dafny.Tuple11

equals(Object) - Method in class dafny.Tuple12

equals(Object) - Method in class dafny.Tuple13

equals(Object) - Method in class dafny.Tuple14

equals(Object) - Method in class dafny.Tuple15

equals(Object) - Method in class dafny.Tuple16

equals(Object) - Method in class dafny.Tuple17

equals(Object) - Method in class dafny.Tuple18

equals(Object) - Method in class dafny.Tuple19

equals(Object) - Method in class dafny.Tuple2

equals(Object) - Method in class dafny.Tuple20

equals(Object) - Method in class dafny.Tuple3

equals(Object) - Method in class dafny.Tuple4

equals(Object) - Method in class dafny.Tuple5

equals(Object) - Method in class dafny.Tuple6

equals(Object) - Method in class dafny.Tuple7

equals(Object) - Method in class dafny.Tuple8

equals(Object) - Method in class dafny.Tuple9

equalsNonLazy(NonLazyDafnySequence<T>) - Method in class dafny.DafnySequence

Compare for equality to the given sequence, assuming that it is not null, not == to this, and not lazy.

EuclideanDivision(byte, byte) - Static method in class dafny.DafnyEuclidean

EuclideanDivision(int, int) - Static method in class dafny.DafnyEuclidean

EuclideanDivision(long, long) - Static method in class dafny.DafnyEuclidean

EuclideanDivision(short, short) - Static method in class dafny.DafnyEuclidean

EuclideanDivision(BigInteger, BigInteger) - Static method in class dafny.DafnyEuclidean

EuclideanModulus(byte, byte) - Static method in class dafny.DafnyEuclidean

EuclideanModulus(int, int) - Static method in class dafny.DafnyEuclidean

EuclideanModulus(long, long) - Static method in class dafny.DafnyEuclidean

EuclideanModulus(short, short) - Static method in class dafny.DafnyEuclidean

EuclideanModulus(BigInteger, BigInteger) - Static method in class dafny.DafnyEuclidean

F

fill(T) - Method in class dafny.Array

fillArray(Object, T) - Method in class dafny.TypeDescriptor

fillThenReturnArray(Object, T) - Method in class dafny.TypeDescriptor

findType(Class<?>, TypeDescriptor<?>...) - Static method in class dafny.TypeDescriptor

force() - Method in class dafny.DafnySequence

forEach(BiConsumer<? super K, ? super V>) - Method in class dafny.DafnyMap

fromArray(TypeDescriptor<T>, Array<T>) - Static method in class dafny.DafnySequence

fromArrayRange(TypeDescriptor<T>, Array<T>, int, int) - Static method in class dafny.DafnySequence

fromBytes(byte[]) - Static method in class dafny.DafnySequence

fromElements(Tuple2<K, V>...) - Static method in class dafny.DafnyMap

fromList(TypeDescriptor<T>, List<T>) - Static method in class dafny.Array

fromList(TypeDescriptor<T>, List<T>) - Static method in class dafny.DafnySequence

FromMainArguments(String[]) - Static method in class dafny.Helpers

fromRawArray(TypeDescriptor<T>, Object) - Static method in class dafny.DafnySequence

fromRawArrayRange(TypeDescriptor<T>, Object, int, int) - Static method in class dafny.DafnySequence

function(TypeDescriptor<A>, TypeDescriptor<R>) - Static method in class dafny.TypeDescriptor

G

get(int) - Method in class dafny.Array

get(Object) - Method in class dafny.DafnyMap

getArrayElement(Object, int) - Method in class dafny.TypeDescriptor

getArrayLength(Object) - Method in class dafny.TypeDescriptor

H

hashCode() - Method in class dafny.BigRational

hashCode() - Method in class dafny.CodePoint

hashCode() - Method in class dafny.DafnyMap

hashCode() - Method in class dafny.DafnyMultiset

hashCode() - Method in class dafny.DafnySequence

hashCode() - Method in class dafny.DafnySet

hashCode() - Method in class dafny.Tuple0

hashCode() - Method in class dafny.Tuple1

hashCode() - Method in class dafny.Tuple10

hashCode() - Method in class dafny.Tuple11

hashCode() - Method in class dafny.Tuple12

hashCode() - Method in class dafny.Tuple13

hashCode() - Method in class dafny.Tuple14

hashCode() - Method in class dafny.Tuple15

hashCode() - Method in class dafny.Tuple16

hashCode() - Method in class dafny.Tuple17

hashCode() - Method in class dafny.Tuple18

hashCode() - Method in class dafny.Tuple19

hashCode() - Method in class dafny.Tuple2

hashCode() - Method in class dafny.Tuple20

hashCode() - Method in class dafny.Tuple3

hashCode() - Method in class dafny.Tuple4

hashCode() - Method in class dafny.Tuple5

hashCode() - Method in class dafny.Tuple6

hashCode() - Method in class dafny.Tuple7

hashCode() - Method in class dafny.Tuple8

hashCode() - Method in class dafny.Tuple9

hashCode(int) - Static method in class dafny.CodePoint

Helpers - Class in dafny

Helpers() - Constructor for class dafny.Helpers

I

Id(T) - Static method in class dafny.Helpers

INT - Static variable in class dafny.TypeDescriptor

INT_ARRAY - Static variable in class dafny.TypeDescriptor

IntegerRange(BigInteger, BigInteger) - Static method in class dafny.Helpers

intersection(DafnyMultiset<? extends T>, DafnyMultiset<? extends T>) - Static method in class dafny.DafnyMultiset

intersection(DafnySet<? extends T>, DafnySet<? extends T>) - Static method in class dafny.DafnySet

intWithDefault(int) - Static method in class dafny.TypeDescriptor

isEmpty() - Method in class dafny.DafnyMap

isEmpty() - Method in class dafny.DafnySequence

isEmpty() - Method in class dafny.DafnySet

isInstance(Object) - Method in class dafny.TypeDescriptor

IsLimit(BigInteger) - Static method in class dafny.BigOrdinal

IsNat(BigInteger) - Static method in class dafny.BigOrdinal

isPowerOf10(BigInteger) - Static method in class dafny.BigRational

isPrefixOf(DafnySequence<U>) - Method in class dafny.DafnySequence

isPrimitive() - Method in class dafny.TypeDescriptor

isProperPrefixOf(DafnySequence<U>) - Method in class dafny.DafnySequence

isProperSubsetOf(DafnyMultiset) - Method in class dafny.DafnyMultiset

isProperSubsetOf(DafnySet) - Method in class dafny.DafnySet

isSubsetOf(DafnyMultiset) - Method in class dafny.DafnyMultiset

isSubsetOf(DafnySet) - Method in class dafny.DafnySet

IsSucc(BigInteger) - Static method in class dafny.BigOrdinal

iterator() - Method in class dafny.DafnySequence

K

keySet() - Method in class dafny.DafnyMap

L

length() - Method in class dafny.Array

length() - Method in class dafny.DafnySequence

Let(T, Function<T, U>) - Static method in class dafny.Helpers

LONG - Static variable in class dafny.TypeDescriptor

LONG_ARRAY - Static variable in class dafny.TypeDescriptor

longWithDefault(long) - Static method in class dafny.TypeDescriptor

M

merge(DafnyMap<? extends K, ? extends V>, DafnyMap<? extends K, ? extends V>) - Static method in class dafny.DafnyMap

multiplicity(DafnyMultiset<? extends T>, T) - Static method in class dafny.DafnyMultiset

multiply(BigRational) - Method in class dafny.BigRational

multiply(BigRational, BigRational) - Static method in class dafny.BigRational

N

negate() - Method in class dafny.BigRational

negate(BigRational) - Static method in class dafny.BigRational

newArray(int) - Method in class dafny.TypeDescriptor

newArray(int...) - Method in class dafny.TypeDescriptor

newArray(TypeDescriptor<T>, int) - Static method in class dafny.Array

O

OBJECT - Static variable in class dafny.TypeDescriptor

of(boolean...) - Static method in class dafny.DafnySequence

of(byte...) - Static method in class dafny.DafnySequence

of(char...) - Static method in class dafny.DafnySequence

of(int...) - Static method in class dafny.DafnySequence

of(long...) - Static method in class dafny.DafnySequence

of(short...) - Static method in class dafny.DafnySequence

of(TypeDescriptor<T>, T...) - Static method in class dafny.DafnySequence

of(T...) - Static method in class dafny.DafnyMultiset

of(T...) - Static method in class dafny.DafnySet

Offset(BigInteger) - Static method in class dafny.BigOrdinal

outOfRange(String) - Static method in class dafny.Helpers

Q

Quantifier(Iterable<T>, boolean, Predicate<T>) - Static method in class dafny.Helpers

R

reduce() - Method in class dafny.BigRational

reference(Class<T>) - Static method in class dafny.TypeDescriptor

referenceWithDefault(Class<T>, T) - Static method in class dafny.TypeDescriptor

referenceWithInitializer(Class<?>, TypeDescriptor.Initializer<T>) - Static method in class dafny.TypeDescriptor

referenceWithInitializerAndTypeDescriptor(TypeDescriptor<T>, TypeDescriptor.Initializer<T>) - Static method in class dafny.TypeDescriptor

remainderUnsignedByte(byte, byte) - Static method in class dafny.Helpers

remainderUnsignedShort(short, short) - Static method in class dafny.Helpers

remove(T) - Method in class dafny.DafnySet

removeAll(DafnySet<T>) - Method in class dafny.DafnySet

S

select(int) - Method in class dafny.DafnySequence

select(long) - Method in class dafny.DafnySequence

select(BigInteger) - Method in class dafny.DafnySequence

selectUnsigned(byte) - Method in class dafny.DafnySequence

selectUnsigned(int) - Method in class dafny.DafnySequence

selectUnsigned(long) - Method in class dafny.DafnySequence

selectUnsigned(short) - Method in class dafny.DafnySequence

set(int, T) - Method in class dafny.Array

setArrayElement(Object, int, T) - Method in class dafny.TypeDescriptor

SHORT - Static variable in class dafny.TypeDescriptor

SHORT_ARRAY - Static variable in class dafny.TypeDescriptor

shortWithDefault(short) - Static method in class dafny.TypeDescriptor

signum() - Method in class dafny.BigRational

size() - Method in class dafny.DafnyMap

size() - Method in class dafny.DafnySet

slice(List<Integer>) - Method in class dafny.DafnySequence

spliterator() - Method in class dafny.DafnySequence

subsequence(int, int) - Method in class dafny.DafnySequence

subtract(BigRational) - Method in class dafny.BigRational

subtract(BigRational, BigRational) - Static method in class dafny.BigRational

subtract(DafnyMap<? extends K, ? extends V>, DafnySet<? extends K>) - Static method in class dafny.DafnyMap

T

take(int) - Method in class dafny.DafnySequence

take(long) - Method in class dafny.DafnySequence

take(BigInteger) - Method in class dafny.DafnySequence

takeUnsigned(byte) - Method in class dafny.DafnySequence

takeUnsigned(int) - Method in class dafny.DafnySequence

takeUnsigned(long) - Method in class dafny.DafnySequence

takeUnsigned(short) - Method in class dafny.DafnySequence

toArray() - Method in class dafny.DafnySequence

toArray(Collection<T>) - Method in class dafny.TypeDescriptor

ToBigInteger() - Method in class dafny.BigRational

toByteArray(DafnySequence<Byte>) - Static method in class dafny.DafnySequence

ToCharLiteral(int) - Static method in class dafny.Helpers

toInt(int) - Static method in class dafny.Helpers

toInt(long) - Static method in class dafny.Helpers

toInt(BigInteger) - Static method in class dafny.Helpers

toIntArray(DafnySequence<Integer>) - Static method in class dafny.DafnySequence

toIntChecked(long, String) - Static method in class dafny.Helpers

toIntChecked(BigInteger, String) - Static method in class dafny.Helpers

toRawArray() - Method in class dafny.DafnySequence

toString() - Method in class dafny.BigRational

toString() - Method in class dafny.CodePoint

toString() - Method in class dafny.DafnyMap

toString() - Method in class dafny.DafnyMultiset

toString() - Method in class dafny.DafnySequence

toString() - Method in class dafny.DafnySet

toString() - Method in class dafny.Tuple0

toString() - Method in class dafny.Tuple1

toString() - Method in class dafny.Tuple10

toString() - Method in class dafny.Tuple11

toString() - Method in class dafny.Tuple12

toString() - Method in class dafny.Tuple13

toString() - Method in class dafny.Tuple14

toString() - Method in class dafny.Tuple15

toString() - Method in class dafny.Tuple16

toString() - Method in class dafny.Tuple17

toString() - Method in class dafny.Tuple18

toString() - Method in class dafny.Tuple19

toString() - Method in class dafny.Tuple2

toString() - Method in class dafny.Tuple20

toString() - Method in class dafny.Tuple3

toString() - Method in class dafny.Tuple4

toString() - Method in class dafny.Tuple5

toString() - Method in class dafny.Tuple6

toString() - Method in class dafny.Tuple7

toString() - Method in class dafny.Tuple8

toString() - Method in class dafny.Tuple9

toString() - Method in class dafny.TypeDescriptor

toString(G) - Static method in class dafny.Helpers

ToStringLiteral(DafnySequence<? extends CodePoint>) - Static method in class dafny.Helpers

Tuple0 - Class in dafny

Tuple0() - Constructor for class dafny.Tuple0

Tuple1<T0> - Class in dafny

Tuple1(T0) - Constructor for class dafny.Tuple1

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

Tuple10(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9) - Constructor for class dafny.Tuple10

Tuple11<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10> - Class in dafny

Tuple11(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10) - Constructor for class dafny.Tuple11

Tuple12<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11> - Class in dafny

Tuple12(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11) - Constructor for class dafny.Tuple12

Tuple13<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12> - Class in dafny

Tuple13(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12) - Constructor for class dafny.Tuple13

Tuple14<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13> - Class in dafny

Tuple14(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13) - Constructor for class dafny.Tuple14

Tuple15<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,T14> - Class in dafny

Tuple15(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14) - Constructor for class dafny.Tuple15

Tuple16<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,T14,T15> - Class in dafny

Tuple16(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15) - Constructor for class dafny.Tuple16

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

Tuple17(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16) - Constructor for class dafny.Tuple17

Tuple18<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,T14,T15,T16,T17> - Class in dafny

Tuple18(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17) - Constructor for class dafny.Tuple18

Tuple19<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,T14,T15,T16,T17,T18> - Class in dafny

Tuple19(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18) - Constructor for class dafny.Tuple19

Tuple2<T0,T1> - Class in dafny

Tuple2(T0, T1) - Constructor for class dafny.Tuple2

Tuple20<T0,T1,T2,T3,T4,T5,T6,T7,T8,T9,T10,T11,T12,T13,T14,T15,T16,T17,T18,T19> - Class in dafny

Tuple20(T0, T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19) - Constructor for class dafny.Tuple20

Tuple3<T0,T1,T2> - Class in dafny

Tuple3(T0, T1, T2) - Constructor for class dafny.Tuple3

Tuple4<T0,T1,T2,T3> - Class in dafny

Tuple4(T0, T1, T2, T3) - Constructor for class dafny.Tuple4

Tuple5<T0,T1,T2,T3,T4> - Class in dafny

Tuple5(T0, T1, T2, T3, T4) - Constructor for class dafny.Tuple5

Tuple6<T0,T1,T2,T3,T4,T5> - Class in dafny

Tuple6(T0, T1, T2, T3, T4, T5) - Constructor for class dafny.Tuple6

Tuple7<T0,T1,T2,T3,T4,T5,T6> - Class in dafny

Tuple7(T0, T1, T2, T3, T4, T5, T6) - Constructor for class dafny.Tuple7

Tuple8<T0,T1,T2,T3,T4,T5,T6,T7> - Class in dafny

Tuple8(T0, T1, T2, T3, T4, T5, T6, T7) - Constructor for class dafny.Tuple8

Tuple9<T0,T1,T2,T3,T4,T5,T6,T7,T8> - Class in dafny

Tuple9(T0, T1, T2, T3, T4, T5, T6, T7, T8) - Constructor for class dafny.Tuple9

TypeDescriptor<T> - Class in dafny

TypeDescriptor.Initializer<T> - Interface in dafny

U

UNICODE_CHAR - Static variable in class dafny.TypeDescriptor

UNICODE_CHAR_ARRAY - Static variable in class dafny.TypeDescriptor

unicodeCharWithDefault(int) - Static method in class dafny.TypeDescriptor

UnicodeFromMainArguments(String[]) - Static method in class dafny.Helpers

union(DafnyMultiset<? extends T>, DafnyMultiset<? extends T>) - Static method in class dafny.DafnyMultiset

union(DafnySet<? extends T>, DafnySet<? extends T>) - Static method in class dafny.DafnySet

UniqueElements() - Method in class dafny.DafnyMultiset

UniqueElements() - Method in class dafny.DafnySequence

unsafeWrapArray(Array<T>) - Static method in class dafny.DafnySequence

Return a sequence backed by the given array without making a defensive copy.

unsafeWrapBytes(byte[]) - Static method in class dafny.DafnySequence

Return a sequence backed by the given byte array without making a defensive copy.

unsafeWrapRawArray(TypeDescriptor<T>, Object) - Static method in class dafny.DafnySequence

unsignedLongToBigInteger(long) - Static method in class dafny.Helpers

unsignedToInt(byte) - Static method in class dafny.Helpers

unsignedToInt(long) - Static method in class dafny.Helpers

unsignedToInt(short) - Static method in class dafny.Helpers

unsignedToIntChecked(byte) - Static method in class dafny.Helpers

unsignedToIntChecked(long, String) - Static method in class dafny.Helpers

unsignedToIntChecked(short) - Static method in class dafny.Helpers

unwrap() - Method in class dafny.Array

unwrap(Array<?>) - Static method in class dafny.Array

unwrapBooleans(Array<Boolean>) - Static method in class dafny.Array

unwrapBytes(Array<Byte>) - Static method in class dafny.Array

unwrapChars(Array<Character>) - Static method in class dafny.Array

unwrapInts(Array<Integer>) - Static method in class dafny.Array

unwrapLongs(Array<Long>) - Static method in class dafny.Array

unwrapObjects(Array<T>) - Static method in class dafny.Array

unwrapShorts(Array<Short>) - Static method in class dafny.Array

update(int, R) - Method in class dafny.DafnySequence

update(DafnyMap<? extends K, ? extends V>, K, V) - Static method in class dafny.DafnyMap

update(DafnyMultiset<? extends T>, T, BigInteger) - Static method in class dafny.DafnyMultiset

update(DafnySequence<? extends R>, int, R) - Static method in class dafny.DafnySequence

update(DafnySequence<? extends R>, long, R) - Static method in class dafny.DafnySequence

update(DafnySequence<? extends R>, BigInteger, R) - Static method in class dafny.DafnySequence

V

value() - Method in class dafny.CodePoint

valueOf(int) - Static method in class dafny.CodePoint

valueSet() - Method in class dafny.DafnyMap

verbatimString() - Method in class dafny.DafnySequence

W

withHaltHandling(Runnable) - Static method in class dafny.Helpers

wrap(boolean[]) - Static method in class dafny.Array

wrap(byte[]) - Static method in class dafny.Array

wrap(char[]) - Static method in class dafny.Array

wrap(int[]) - Static method in class dafny.Array

wrap(long[]) - Static method in class dafny.Array

wrap(short[]) - Static method in class dafny.Array

wrap(TypeDescriptor<T>, Object) - Static method in class dafny.Array

wrap(TypeDescriptor<T>, T[]) - Static method in class dafny.Array

Z

ZERO - Static variable in class dafny.BigRational

_

_typeDescriptor() - Static method in class dafny.Tuple0

_typeDescriptor(TypeDescriptor<K>, TypeDescriptor<V>) - Static method in class dafny.DafnyMap

_typeDescriptor(TypeDescriptor<T>) - Static method in class dafny.DafnyMultiset

_typeDescriptor(TypeDescriptor<T>) - Static method in class dafny.DafnySequence

_typeDescriptor(TypeDescriptor<T>) - Static method in class dafny.DafnySet

_typeDescriptor(TypeDescriptor<T0>) - Static method in class dafny.Tuple1

_typeDescriptor(TypeDescriptor<T0>, TypeDescriptor<T1>) - Static method in class dafny.Tuple2

_typeDescriptor(TypeDescriptor<T0>, TypeDescriptor<T1>, TypeDescriptor<T2>) - Static method in class dafny.Tuple3

_typeDescriptor(TypeDescriptor<T0>, TypeDescriptor<T1>, TypeDescriptor<T2>, TypeDescriptor<T3>) - Static method in class dafny.Tuple4

_typeDescriptor(TypeDescriptor<T0>, TypeDescriptor<T1>, TypeDescriptor<T2>, TypeDescriptor<T3>, TypeDescriptor<T4>) - Static method in class dafny.Tuple5

_typeDescriptor(TypeDescriptor<T0>, TypeDescriptor<T1>, TypeDescriptor<T2>, TypeDescriptor<T3>, TypeDescriptor<T4>, TypeDescriptor<T5>) - Static method in class dafny.Tuple6

_typeDescriptor(TypeDescriptor<T0>, TypeDescriptor<T1>, TypeDescriptor<T2>, TypeDescriptor<T3>, TypeDescriptor<T4>, TypeDescriptor<T5>, TypeDescriptor<T6>) - Static method in class dafny.Tuple7

_typeDescriptor(TypeDescriptor<T0>, TypeDescriptor<T1>, TypeDescriptor<T2>, TypeDescriptor<T3>, TypeDescriptor<T4>, TypeDescriptor<T5>, TypeDescriptor<T6>, TypeDescriptor<T7>) - Static method in class dafny.Tuple8

_typeDescriptor(TypeDescriptor<T0>, TypeDescriptor<T1>, TypeDescriptor<T2>, TypeDescriptor<T3>, TypeDescriptor<T4>, TypeDescriptor<T5>, TypeDescriptor<T6>, TypeDescriptor<T7>, TypeDescriptor<T8>) - Static method in class dafny.Tuple9

_typeDescriptor(TypeDescriptor<T0>, TypeDescriptor<T1>, TypeDescriptor<T2>, TypeDescriptor<T3>, TypeDescriptor<T4>, TypeDescriptor<T5>, TypeDescriptor<T6>, TypeDescriptor<T7>, TypeDescriptor<T8>, TypeDescriptor<T9>) - Static method in class dafny.Tuple10

_typeDescriptor(TypeDescriptor<T0>, TypeDescriptor<T1>, TypeDescriptor<T2>, TypeDescriptor<T3>, TypeDescriptor<T4>, TypeDescriptor<T5>, TypeDescriptor<T6>, TypeDescriptor<T7>, TypeDescriptor<T8>, TypeDescriptor<T9>, TypeDescriptor<T10>) - Static method in class dafny.Tuple11

_typeDescriptor(TypeDescriptor<T0>, TypeDescriptor<T1>, TypeDescriptor<T2>, TypeDescriptor<T3>, TypeDescriptor<T4>, TypeDescriptor<T5>, TypeDescriptor<T6>, TypeDescriptor<T7>, TypeDescriptor<T8>, TypeDescriptor<T9>, TypeDescriptor<T10>, TypeDescriptor<T11>) - Static method in class dafny.Tuple12

_typeDescriptor(TypeDescriptor<T0>, TypeDescriptor<T1>, TypeDescriptor<T2>, TypeDescriptor<T3>, TypeDescriptor<T4>, TypeDescriptor<T5>, TypeDescriptor<T6>, TypeDescriptor<T7>, TypeDescriptor<T8>, TypeDescriptor<T9>, TypeDescriptor<T10>, TypeDescriptor<T11>, TypeDescriptor<T12>) - Static method in class dafny.Tuple13

_typeDescriptor(TypeDescriptor<T0>, TypeDescriptor<T1>, TypeDescriptor<T2>, TypeDescriptor<T3>, TypeDescriptor<T4>, TypeDescriptor<T5>, TypeDescriptor<T6>, TypeDescriptor<T7>, TypeDescriptor<T8>, TypeDescriptor<T9>, TypeDescriptor<T10>, TypeDescriptor<T11>, TypeDescriptor<T12>, TypeDescriptor<T13>) - Static method in class dafny.Tuple14

_typeDescriptor(TypeDescriptor<T0>, TypeDescriptor<T1>, TypeDescriptor<T2>, TypeDescriptor<T3>, TypeDescriptor<T4>, TypeDescriptor<T5>, TypeDescriptor<T6>, TypeDescriptor<T7>, TypeDescriptor<T8>, TypeDescriptor<T9>, TypeDescriptor<T10>, TypeDescriptor<T11>, TypeDescriptor<T12>, TypeDescriptor<T13>, TypeDescriptor<T14>) - Static method in class dafny.Tuple15

_typeDescriptor(TypeDescriptor<T0>, TypeDescriptor<T1>, TypeDescriptor<T2>, TypeDescriptor<T3>, TypeDescriptor<T4>, TypeDescriptor<T5>, TypeDescriptor<T6>, TypeDescriptor<T7>, TypeDescriptor<T8>, TypeDescriptor<T9>, TypeDescriptor<T10>, TypeDescriptor<T11>, TypeDescriptor<T12>, TypeDescriptor<T13>, TypeDescriptor<T14>, TypeDescriptor<T15>) - Static method in class dafny.Tuple16

_typeDescriptor(TypeDescriptor<T0>, TypeDescriptor<T1>, TypeDescriptor<T2>, TypeDescriptor<T3>, TypeDescriptor<T4>, TypeDescriptor<T5>, TypeDescriptor<T6>, TypeDescriptor<T7>, TypeDescriptor<T8>, TypeDescriptor<T9>, TypeDescriptor<T10>, TypeDescriptor<T11>, TypeDescriptor<T12>, TypeDescriptor<T13>, TypeDescriptor<T14>, TypeDescriptor<T15>, TypeDescriptor<T16>) - Static method in class dafny.Tuple17

_typeDescriptor(TypeDescriptor<T0>, TypeDescriptor<T1>, TypeDescriptor<T2>, TypeDescriptor<T3>, TypeDescriptor<T4>, TypeDescriptor<T5>, TypeDescriptor<T6>, TypeDescriptor<T7>, TypeDescriptor<T8>, TypeDescriptor<T9>, TypeDescriptor<T10>, TypeDescriptor<T11>, TypeDescriptor<T12>, TypeDescriptor<T13>, TypeDescriptor<T14>, TypeDescriptor<T15>, TypeDescriptor<T16>, TypeDescriptor<T17>) - Static method in class dafny.Tuple18

_typeDescriptor(TypeDescriptor<T0>, TypeDescriptor<T1>, TypeDescriptor<T2>, TypeDescriptor<T3>, TypeDescriptor<T4>, TypeDescriptor<T5>, TypeDescriptor<T6>, TypeDescriptor<T7>, TypeDescriptor<T8>, TypeDescriptor<T9>, TypeDescriptor<T10>, TypeDescriptor<T11>, TypeDescriptor<T12>, TypeDescriptor<T13>, TypeDescriptor<T14>, TypeDescriptor<T15>, TypeDescriptor<T16>, TypeDescriptor<T17>, TypeDescriptor<T18>) - Static method in class dafny.Tuple19

_typeDescriptor(TypeDescriptor<T0>, TypeDescriptor<T1>, TypeDescriptor<T2>, TypeDescriptor<T3>, TypeDescriptor<T4>, TypeDescriptor<T5>, TypeDescriptor<T6>, TypeDescriptor<T7>, TypeDescriptor<T8>, TypeDescriptor<T9>, TypeDescriptor<T10>, TypeDescriptor<T11>, TypeDescriptor<T12>, TypeDescriptor<T13>, TypeDescriptor<T14>, TypeDescriptor<T15>, TypeDescriptor<T16>, TypeDescriptor<T17>, TypeDescriptor<T18>, TypeDescriptor<T19>) - Static method in class dafny.Tuple20

A B C D E F G H I K L M N O Q R S T U V W Z _
All Classes and Interfaces|All Packages|Serialized Form