cprover
cpp_util.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module:
4
5
Author:
6
7
\*******************************************************************/
8
9
10
#ifndef CPROVER_CPP_CPP_UTIL_H
11
#define CPROVER_CPP_CPP_UTIL_H
12
13
#include <
util/expr.h
>
14
#include <
util/symbol.h
>
15
16
symbol_exprt
cpp_symbol_expr
(
const
symbolt
&symbol);
17
18
#endif // CPROVER_CPP_CPP_UTIL_H
cpp_symbol_expr
symbol_exprt cpp_symbol_expr(const symbolt &symbol)
Definition:
cpp_util.cpp:14
symbol_exprt
Expression to hold a symbol (variable)
Definition:
std_expr.h:82
expr.h
symbol.h
Symbol table entry.
symbolt
Symbol table entry.
Definition:
symbol.h:28
cpp
cpp_util.h
Generated by
1.8.20