CBMC
|
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... | |
void | add_format_hook (irep_idt, std::function< std::ostream &(std::ostream &, const exprt &)>) |
Adds a formatter for expressions with the given ID at runtime. More... | |
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.
std::ostream& format_rec | ( | std::ostream & | os, |
const exprt & | expr | ||
) |
Formats an expression in a generic syntax that is inspired by C/C++/Java, and is meant for debugging.
Definition at line 644 of file format_expr.cpp.