public class __default
extends java.lang.Object
| Constructor and Description |
|---|
__default() |
| Modifier and Type | Method and Description |
|---|---|
static dafny.TypeDescriptor<__default> |
_typeDescriptor() |
static java.math.BigInteger |
CountDigits(dafny.DafnySequence<? extends java.lang.Character> s) |
static java.math.BigInteger |
CountZeros(dafny.DafnySequence<? extends java.lang.Character> value) |
static boolean |
IsDecimalDigit(char ch) |
static boolean |
IsE(char ch) |
static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Character>,dafny.DafnySequence<? extends java.lang.Character>> |
NormalizeNumber(dafny.DafnySequence<? extends java.lang.Character> n) |
static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Character>,dafny.DafnySequence<? extends java.lang.Character>> |
NormalizeNumber2(dafny.DafnySequence<? extends java.lang.Character> n) |
static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Character>,dafny.DafnySequence<? extends java.lang.Character>> |
NormalizePositive(dafny.DafnySequence<? extends java.lang.Character> n) |
static dafny.Tuple2<dafny.DafnySequence<? extends java.lang.Character>,java.math.BigInteger> |
NormalizeValue(dafny.DafnySequence<? extends java.lang.Character> value,
java.math.BigInteger pos) |
static Wrappers_Compile.Result<dafny.Tuple3<dafny.DafnySequence<? extends java.lang.Character>,java.math.BigInteger,java.math.BigInteger>,dafny.DafnySequence<? extends java.lang.Character>> |
ParseNumber(dafny.DafnySequence<? extends java.lang.Character> n) |
static dafny.DafnySequence<? extends java.lang.Character> |
SkipAllTrailingZeros(dafny.DafnySequence<? extends java.lang.Character> val) |
static dafny.DafnySequence<? extends java.lang.Character> |
SkipLeadingZeros(dafny.DafnySequence<? extends java.lang.Character> val) |
static dafny.DafnySequence<? extends java.lang.Character> |
SkipTrailingZeros(dafny.DafnySequence<? extends java.lang.Character> val) |
static Wrappers_Compile.Result<java.math.BigInteger,dafny.DafnySequence<? extends java.lang.Character>> |
StrToInt(dafny.DafnySequence<? extends java.lang.Character> s) |
static Wrappers_Compile.Result<java.math.BigInteger,dafny.DafnySequence<? extends java.lang.Character>> |
StrToIntInner(dafny.DafnySequence<? extends java.lang.Character> s,
java.math.BigInteger acc) |
java.lang.String |
toString() |
static dafny.DafnySequence<? extends java.lang.Character> |
TrimZerosFromValidNumber(dafny.DafnySequence<? extends java.lang.Character> n) |
static dafny.DafnySequence<? extends java.lang.Character> |
Zeros(java.math.BigInteger n) |
public static dafny.DafnySequence<? extends java.lang.Character> SkipLeadingZeros(dafny.DafnySequence<? extends java.lang.Character> val)
public static dafny.DafnySequence<? extends java.lang.Character> SkipTrailingZeros(dafny.DafnySequence<? extends java.lang.Character> val)
public static dafny.DafnySequence<? extends java.lang.Character> SkipAllTrailingZeros(dafny.DafnySequence<? extends java.lang.Character> val)
public static boolean IsDecimalDigit(char ch)
public static Wrappers_Compile.Result<java.math.BigInteger,dafny.DafnySequence<? extends java.lang.Character>> StrToIntInner(dafny.DafnySequence<? extends java.lang.Character> s,
java.math.BigInteger acc)
public static Wrappers_Compile.Result<java.math.BigInteger,dafny.DafnySequence<? extends java.lang.Character>> StrToInt(dafny.DafnySequence<? extends java.lang.Character> s)
public static dafny.DafnySequence<? extends java.lang.Character> Zeros(java.math.BigInteger n)
public static java.math.BigInteger CountDigits(dafny.DafnySequence<? extends java.lang.Character> s)
public static boolean IsE(char ch)
public static Wrappers_Compile.Result<dafny.Tuple3<dafny.DafnySequence<? extends java.lang.Character>,java.math.BigInteger,java.math.BigInteger>,dafny.DafnySequence<? extends java.lang.Character>> ParseNumber(dafny.DafnySequence<? extends java.lang.Character> n)
public static java.math.BigInteger CountZeros(dafny.DafnySequence<? extends java.lang.Character> value)
public static dafny.Tuple2<dafny.DafnySequence<? extends java.lang.Character>,java.math.BigInteger> NormalizeValue(dafny.DafnySequence<? extends java.lang.Character> value,
java.math.BigInteger pos)
public static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Character>,dafny.DafnySequence<? extends java.lang.Character>> NormalizePositive(dafny.DafnySequence<? extends java.lang.Character> n)
public static dafny.DafnySequence<? extends java.lang.Character> TrimZerosFromValidNumber(dafny.DafnySequence<? extends java.lang.Character> n)
public static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Character>,dafny.DafnySequence<? extends java.lang.Character>> NormalizeNumber2(dafny.DafnySequence<? extends java.lang.Character> n)
public static Wrappers_Compile.Result<dafny.DafnySequence<? extends java.lang.Character>,dafny.DafnySequence<? extends java.lang.Character>> NormalizeNumber(dafny.DafnySequence<? extends java.lang.Character> n)
public static dafny.TypeDescriptor<__default> _typeDescriptor()
public java.lang.String toString()
toString in class java.lang.Object