cprover
|
Go to the source code of this file.
Functions | |
symbol_exprt | cpp_symbol_expr (const symbolt &symbol) |
void | already_typechecked (irept &irep) |
|
inline |
Definition at line 18 of file cpp_util.h.
symbol_exprt cpp_symbol_expr | ( | const symbolt & | symbol | ) |
Definition at line 14 of file cpp_util.cpp.