10 #ifndef CPROVER_UTIL_MP_ARITH_H 11 #define CPROVER_UTIL_MP_ARITH_H 16 #include "big-int/bigint.hh" 33 #endif // CPROVER_UTIL_MP_ARITH_H bool is_signed(const typet &t)
Convenience function – is the type signed?
const std::string integer2string(const mp_integer &, unsigned base=10)
const mp_integer binary2integer(const std::string &, bool is_signed)
convert binary string representation to mp_integer
std::size_t integer2size_t(const mp_integer &)
std::ostream & operator<<(std::ostream &, const mp_integer &)
mp_integer::ullong_t integer2ulong(const mp_integer &)
const mp_integer string2integer(const std::string &, unsigned base=10)
mp_integer operator>>(const mp_integer &, const mp_integer &)
const std::string integer2binary(const mp_integer &, std::size_t width)
unsigned integer2unsigned(const mp_integer &)