CBMC
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/std_expr.h>
14 
15 class symbolt;
16 
17 symbol_exprt cpp_symbol_expr(const symbolt &symbol);
18 
19 #endif // CPROVER_CPP_CPP_UTIL_H
symbol_exprt
Expression to hold a symbol (variable)
Definition: std_expr.h:131
symbolt
Symbol table entry.
Definition: symbol.h:28
cpp_symbol_expr
symbol_exprt cpp_symbol_expr(const symbolt &symbol)
Definition: cpp_util.cpp:14
std_expr.h
API to expression classes.