cprover
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 "expr.h"
13 #include "format.h"
14 
17 std::ostream &format_rec(std::ostream &, const exprt &);
18 
19 #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:223
format.h
exprt
Base class for all expressions.
Definition: expr.h:53
expr.h