cprover
mp_arith.h File Reference
#include <string>
#include <iosfwd>
#include "big-int/bigint.hh"
Include dependency graph for mp_arith.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Typedefs

typedef BigInt mp_integer
 

Functions

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

Typedef Documentation

◆ mp_integer

typedef BigInt mp_integer

Definition at line 19 of file mp_arith.h.

Function Documentation

◆ binary2integer()

◆ integer2binary()

◆ integer2size_t()

std::size_t integer2size_t ( const mp_integer )

◆ integer2string()

◆ integer2ulong()

mp_integer::ullong_t integer2ulong ( const mp_integer )

◆ integer2unsigned()

◆ operator<<() [1/2]

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

Definition at line 44 of file mp_arith.cpp.

References integer2string().

◆ operator<<() [2/2]

mp_integer operator<< ( const mp_integer ,
const mp_integer  
)

Definition at line 39 of file mp_arith.cpp.

References power().

◆ operator>>()

mp_integer operator>> ( const mp_integer ,
const mp_integer  
)

Definition at line 21 of file mp_arith.cpp.

References power().

◆ string2integer()