|
cprover
|
Type Naming for C. More...
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 267 of file type2name.cpp.
References type2name().
| std::string type2name | ( | const typet & | type, |
| const namespacet & | ns | ||
| ) |
Definition at line 260 of file type2name.cpp.
References parent_is_sym_check, and type2name().