Loading...
Searching...
No Matches
format_expr.h File Reference
+ Include dependency graph for format_expr.h:
+ This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Formats an expression in a generic syntax that is inspired by C/C++/Java, and is meant for debugging.
Adds a formatter for expressions with the given ID at runtime.
Function Documentation
◆ add_format_hook()
std::function< std::ostream &(std::ostream &,
const exprt &)>
)
Adds a formatter for expressions with the given ID at runtime.
The formatter is given as a function that receives the output stream and the expression as arguments.
◆ format_rec()
std::ostream & format_rec
(
std::ostream &
os,
)
Formats an expression in a generic syntax that is inspired by C/C++/Java, and is meant for debugging.
Definition at line 648 of file format_expr.cpp.
