|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <util/expr/type2name.h>#include <cctype>#include <util/base/i2string.h>#include <util/irep/std_types.h>#include <util/message/message.h>Functions | |
| std::string | type2name (const typet &type) |
| std::string type2name | ( | const typet & | type | ) |