10 #ifndef CPROVER_UTIL_MP_ARITH_H
11 #define CPROVER_UTIL_MP_ARITH_H
16 #include "big-int/bigint.hh"
const mp_integer binary2integer(const std::string &, bool is_signed)
convert binary string representation to mp_integer
std::ostream & operator<<(std::ostream &, const mp_integer &)
const mp_integer string2integer(const std::string &, unsigned base=10)
mp_integer logic_left_shift(const mp_integer &, const mp_integer &, std::size_t true_size)
logic left shift bitwise operations only make sense on native objects, hence the largest object size ...
mp_integer bitwise_or(const mp_integer &, const mp_integer &)
bitwise 'or' of two nonnegative integers
mp_integer bitwise_and(const mp_integer &, const mp_integer &)
bitwise 'and' of two nonnegative integers
const std::string integer2binary(const mp_integer &, std::size_t width)
mp_integer arith_right_shift(const mp_integer &, const mp_integer &, std::size_t true_size)
arithmetic right shift (loads sign on MSB) bitwise operations only make sense on native objects,...
const std::string integer2string(const mp_integer &, unsigned base=10)
mp_integer logic_right_shift(const mp_integer &, const mp_integer &, std::size_t true_size)
logic right shift (loads 0 on MSB) bitwise operations only make sense on native objects,...
mp_integer operator>>(const mp_integer &, const mp_integer &)
mp_integer rotate_left(const mp_integer &, const mp_integer &, std::size_t true_size)
rotate left (LSB=MSB) bitwise operations only make sense on native objects, hence the largest object ...
mp_integer arith_left_shift(const mp_integer &, const mp_integer &, std::size_t true_size)
arithmetic left shift bitwise operations only make sense on native objects, hence the largest object ...
mp_integer bitwise_xor(const mp_integer &, const mp_integer &)
bitwise 'xor' of two nonnegative integers
mp_integer rotate_right(const mp_integer &, const mp_integer &, std::size_t true_size)
rotates right (MSB=LSB) bitwise operations only make sense on native objects, hence the largest objec...
bool is_signed(const typet &t)
Convenience function – is the type signed?