33 const std::string &_format,
34 const std::list<exprt> &_operands)
57 std::ostringstream stream;
110 out << format_constant(
119 out << format_constant(
126 if(format_constant.precision==0)
127 format_constant.precision=1;
130 out << format_constant(
140 if(op.
id()==ID_address_of &&
142 op.
op0().
id()==ID_index &&
144 op.
op0().
op0().
id()==ID_string_constant)
145 out << format_constant(op.
op0().
op0());
152 out << format_constant(
159 out << format_constant(
166 out << format_constant(
173 out << format_constant(
The type of an expression.
unsignedbv_typet unsigned_int_type()
bitvector_typet double_type()
const irep_idt & id() const
signedbv_typet signed_long_int_type()
Base class for all expressions.
signedbv_typet signed_int_type()
unsignedbv_typet unsigned_long_int_type()
void make_typecast(const typet &_type)
bool simplify(exprt &expr, const namespacet &ns)