|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <cassert>#include <cctype>#include <cstdlib>#include <limits>#include <sstream>#include <util/arith/arith_tools.h>#include <util/arith/mp_arith.h>Functions | |
| BigInt | operator>> (const BigInt &a, const BigInt &b) |
| BigInt | operator<< (const BigInt &a, const BigInt &b) |
| std::ostream & | operator<< (std::ostream &out, const BigInt &n) |
| const BigInt | string2integer (const std::string &n, unsigned base) |
| const std::string | integer2binary (const BigInt &n, std::size_t width) |
| const std::string | integer2string (const BigInt &n, unsigned base) |
| const BigInt | binary2integer (const std::string &n, bool is_signed) |
| convert binary string representation to BigInt | |
| const std::string integer2binary | ( | const BigInt & | n, |
| std::size_t | width ) |
| const std::string integer2string | ( | const BigInt & | n, |
| unsigned | base ) |
| std::ostream & operator<< | ( | std::ostream & | out, |
| const BigInt & | n ) |