cprover
mp_arith.cpp File Reference
#include "mp_arith.h"
#include <cstdlib>
#include <cctype>
#include <cassert>
#include <sstream>
#include <ostream>
#include <limits>
#include "arith_tools.h"
Include dependency graph for mp_arith.cpp:

Go to the source code of this file.

Functions

mp_integer operator>> (const mp_integer &a, const mp_integer &b)
 
mp_integer operator<< (const mp_integer &a, const mp_integer &b)
 
std::ostream & operator<< (std::ostream &out, const mp_integer &n)
 
const mp_integer string2integer (const std::string &n, unsigned base)
 
const std::string integer2binary (const mp_integer &n, std::size_t width)
 
const std::string integer2string (const mp_integer &n, unsigned base)
 
const mp_integer binary2integer (const std::string &n, bool is_signed)
 convert binary string representation to mp_integer More...
 
mp_integer::ullong_t integer2ulong (const mp_integer &n)
 
std::size_t integer2size_t (const mp_integer &n)
 
unsigned integer2unsigned (const mp_integer &n)
 

Function Documentation

§ binary2integer()

§ integer2binary()

§ integer2size_t()

std::size_t integer2size_t ( const mp_integer n)

§ integer2string()

§ integer2ulong()

mp_integer::ullong_t integer2ulong ( const mp_integer n)

§ integer2unsigned()

§ operator<<() [1/2]

mp_integer operator<< ( const mp_integer a,
const mp_integer b 
)

Definition at line 39 of file mp_arith.cpp.

References power().

§ operator<<() [2/2]

std::ostream& operator<< ( std::ostream &  out,
const mp_integer n 
)

Definition at line 44 of file mp_arith.cpp.

References integer2string().

§ operator>>()

mp_integer operator>> ( const mp_integer a,
const mp_integer b 
)

Definition at line 21 of file mp_arith.cpp.

References power().

§ string2integer()