Go to the documentation of this file.
31 const std::string &_format,
32 const std::list<exprt> &_operands)
55 std::ostringstream stream;
108 out << format_constant(
117 out << format_constant(
124 if(format_constant.precision==0)
125 format_constant.precision=1;
128 out << format_constant(
139 op.
id() == ID_address_of &&
144 out << format_constant(
153 out << format_constant(
160 out << format_constant(
167 out << format_constant(
174 out << format_constant(
The type of an expression, extends irept.
const index_exprt & to_index_expr(const exprt &expr)
Cast an exprt to an index_exprt.
Base class for all expressions.
unsignedbv_typet unsigned_long_int_type()
typet & type()
Return the type of the expression.
signedbv_typet signed_int_type()
exprt simplify_expr(exprt src, const namespacet &ns)
unsignedbv_typet unsigned_int_type()
const irep_idt & id() const
floatbv_typet double_type()
signedbv_typet signed_long_int_type()
const address_of_exprt & to_address_of_expr(const exprt &expr)
Cast an exprt to an address_of_exprt.
Semantic type conversion.