cprover
format_expr.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module:
4
5Author: 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
14class exprt;
15
18std::ostream &format_rec(std::ostream &, const exprt &);
19
20#endif // CPROVER_UTIL_FORMAT_EXPR_H
Base class for all expressions.
Definition: expr.h:54
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.