|
cprover
|
Type Naming for C. More...
Include dependency graph for type2name.h:
This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Functions | |
| std::string | type2name (const typet &type) |
| std::string | type2name (const typet &type, const namespacet &ns) |
Type Naming for C.
Definition in file type2name.h.
| std::string type2name | ( | const typet & | type | ) |
Definition at line 285 of file type2name.cpp.
| std::string type2name | ( | const typet & | type, |
| const namespacet & | ns | ||
| ) |
Definition at line 278 of file type2name.cpp.