Go to the documentation of this file.
30 const std::string &_format,
31 const std::list<exprt> &_operands)
54 std::ostringstream stream;
107 out << format_constant(
116 out << format_constant(
123 if(format_constant.precision==0)
124 format_constant.precision=1;
127 out << format_constant(
138 op.
id() == ID_address_of &&
143 out << format_constant(
152 out << format_constant(
159 out << format_constant(
166 out << format_constant(
173 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()
const address_of_exprt & to_address_of_expr(const exprt &expr)
Cast an exprt to an address_of_exprt.
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()
Semantic type conversion.
API to expression classes.