docs/api/mp__arith_8h_source.html

#ifndef CPROVER_MP_ARITH_H

#define CPROVER_MP_ARITH_H


#include <big-int/bigint.hh>

#include <ostream>

#include <string>


std::ostream &operator<<(std::ostream &, const BigInt &);

BigInt operator>>(const BigInt &, const BigInt &);

BigInt operator<<(const BigInt &, const BigInt &);


const std::string integer2string(const BigInt &, unsigned base = 10);

const BigInt string2integer(const std::string &, unsigned base = 10);

const std::string integer2binary(const BigInt &, std::size_t width);

const BigInt binary2integer(const std::string &, bool is_signed);


#endif // CPROVER_UTIL_MP_ARITH_H

base
static const twodig_t base
Definition bigint.cpp:28

bigint.hh

BigInt
Definition bigint.hh:58

operator<<
std::ostream & operator<<(std::ostream &, const BigInt &)
Definition mp_arith.cpp:30

operator>>
BigInt operator>>(const BigInt &, const BigInt &)
Definition mp_arith.cpp:9

binary2integer
const BigInt binary2integer(const std::string &, bool is_signed)
convert binary string representation to BigInt
Definition mp_arith.cpp:100

string2integer
const BigInt string2integer(const std::string &, unsigned base=10)
Definition mp_arith.cpp:39

integer2binary
const std::string integer2binary(const BigInt &, std::size_t width)
Definition mp_arith.cpp:49

integer2string
const std::string integer2string(const BigInt &, unsigned base=10)
Definition mp_arith.cpp:86