Go to the documentation of this file.
39 if(type.
id()==ID_unsignedbv)
41 else if(type.
id()==ID_signedbv)
bv_arithmetict & operator-=(const bv_arithmetict &other)
#define PRECONDITION(CONDITION)
std::string format(const format_spect &format_spec) const
bv_arithmetict & operator%=(const bv_arithmetict &other)
The type of an expression, extends irept.
bool operator!=(const bv_arithmetict &other)
bool operator<=(const bv_arithmetict &other)
#define UNREACHABLE
This should be used to mark dead code.
void from_expr(const constant_exprt &expr)
Fixed-width bit-vector with unsigned binary interpretation.
typet & type()
Return the type of the expression.
bool operator==(const bv_arithmetict &other)
bv_arithmetict & operator+=(const bv_arithmetict &other)
void print(std::ostream &out) const
void from_type(const typet &type)
Fixed-width bit-vector with two's complement interpretation.
void from_integer(const mp_integer &i)
const irep_idt & id() const
bv_arithmetict & operator/=(const bv_arithmetict &other)
void change_spec(const bv_spect &dest_spec)
const std::string & get_string(const irep_namet &name) const
constant_exprt to_expr() const
bool operator>=(const bv_arithmetict &other)
std::string to_ansi_c_string() const
unsigned unsafe_string2unsigned(const std::string &str, int base)
mp_integer min_value() const
bool operator<(const bv_arithmetict &other)
A constant literal expression.
mp_integer max_value() const
const irep_idt & get_value() const
bv_arithmetict & operator*=(const bv_arithmetict &other)
bool operator>(const bv_arithmetict &other)
const std::string integer2string(const mp_integer &n, unsigned base)