cprover
|
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 176 of file cpp_type2name.cpp.
std::string cpp_type2name | ( | const typet & | type | ) |
Definition at line 92 of file cpp_type2name.cpp.