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().