cprover
|
Go to the source code of this file.
Functions | |
std::ostream & | format_rec (std::ostream &, const exprt &) |
Formats an expression in a generic syntax that is inspired by C/C++/Java, and is meant for debugging. More... | |
std::ostream& format_rec | ( | std::ostream & | , |
const exprt & | |||
) |
Formats an expression in a generic syntax that is inspired by C/C++/Java, and is meant for debugging.
Definition at line 170 of file format_expr.cpp.
References fallback_format_rec(), format(), format_rec(), member_exprt::get_component_name(), symbol_exprt::get_identifier(), irept::id(), exprt::operands(), to_binary_expr(), to_code(), to_code_assign(), to_code_block(), to_constant_expr(), to_if_expr(), to_index_expr(), to_let_expr(), to_member_expr(), to_multi_ary_expr(), to_quantifier_expr(), to_symbol_expr(), to_typecast_expr(), to_unary_expr(), and exprt::type().