CBMC
format_expr.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module:
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
9 #ifndef CPROVER_UTIL_FORMAT_EXPR_H
10 #define CPROVER_UTIL_FORMAT_EXPR_H
11 
12 #include "format.h"
13 
14 class exprt;
15 
18 std::ostream &format_rec(std::ostream &, const exprt &);
19 
20 #endif // CPROVER_UTIL_FORMAT_EXPR_H
format_rec
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: format_expr.cpp:619
format.h
exprt
Base class for all expressions.
Definition: expr.h:55