10 #ifndef CPROVER_UTIL_BV_ARITHMETIC_H 11 #define CPROVER_UTIL_BV_ARITHMETIC_H 81 void change_spec(
const bv_spect &dest_spec);
84 void print(std::ostream &out)
const;
91 std::string format(
const format_spect &format_spec)
const;
113 return out << to_ansi_c_string();
128 #endif // CPROVER_UTIL_BV_ARITHMETIC_H The type of an expression.
bool operator==(const bv_spect &other) const
exprt to_expr(const namespacet &ns, const irep_idt &identifier, const std::string &src)
guardt & operator-=(guardt &g1, const guardt &g2)
void from_type(const typet &type)
std::string from_expr(const namespacet &ns, const irep_idt &identifier, const exprt &expr)
bool operator!=(const interval_templatet< T > &a, const interval_templatet< T > &b)
tvt operator>(const interval_templatet< T > &a, const interval_templatet< T > &b)
std::string to_ansi_c_string() const
bv_spect(const typet &type)
tvt operator<=(const interval_templatet< T > &a, const interval_templatet< T > &b)
mp_integer max_value() const
mp_integer to_integer() const
mp_integer min_value() const
std::ostream & operator<<(std::ostream &out)
Base class for all expressions.
bv_arithmetict(const exprt &expr)
bv_arithmetict(const bv_spect &_spec)
tvt operator>=(const interval_templatet< T > &a, const interval_templatet< T > &b)
tvt operator<(const interval_templatet< T > &a, const interval_templatet< T > &b)
void unpack(const mp_integer &i)