ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
BigInt Member List

This is the complete list of members for BigInt, including all inherited members.

as_string(char *, unsigned, onedig_t=10) constBigInt
BigInt()BigInt
BigInt(int)BigInt
BigInt(unsigned)BigInt
BigInt(long signed int x)BigInt
BigInt(long unsigned int x)BigInt
BigInt(llong_t)BigInt
BigInt(ullong_t)BigInt
BigInt(BigInt const &)BigInt
BigInt(BigInt &&)BigInt
BigInt(char const *, onedig_t=10)BigInt
compare(llong_t) constBigInt
compare(ullong_t) constBigInt
compare(BigInt const &) constBigInt
compare(long n) constBigIntinline
compare(unsigned long n) constBigIntinline
compare(int n) constBigIntinline
compare(unsigned n) constBigIntinline
digits(onedig_t=10) constBigInt
div(BigInt const &, BigInt const &, BigInt &quot, BigInt &rem)BigIntstatic
dump(unsigned char *, unsigned) constBigInt
floorPow2() constBigInt
is_even() constBigIntinline
is_int64() constBigInt
is_negative() constBigIntinline
is_odd() constBigIntinline
is_positive() constBigIntinline
is_uint64() constBigIntinline
is_zero() constBigIntinline
llong_t typedefBigInt
load(unsigned char const *, unsigned)BigInt
negate()BigIntinline
onedig_t typedefBigInt
operator++()BigIntinline
operator-(BigInt b)BigIntfriend
operator--()BigIntinline
operator=(BigInt const &)BigInt
operator=(BigInt &&)BigInt
power2(unsigned n)BigIntinlinestatic
power2m1(unsigned n)BigIntinlinestatic
scan(char const *, onedig_t=10)BigInt
scan_on(char const *, onedig_t=10)BigInt
small enum valueBigInt
swap(BigInt &other)BigIntinline
to_int64() constBigInt
to_uint64() constBigInt
twodig_t typedefBigInt
ullong_t typedefBigInt
~BigInt()BigInt