cprover
|
C++ Language Module. More...
Go to the source code of this file.
Functions | |
std::string | cpp_type2name (const typet &type) |
std::string | cpp_expr2name (const exprt &expr) |
C++ Language Module.
Definition in file cpp_type2name.h.
std::string cpp_expr2name | ( | const exprt & | expr | ) |
Definition at line 179 of file cpp_type2name.cpp.
std::string cpp_type2name | ( | const typet & | type | ) |
Definition at line 97 of file cpp_type2name.cpp.