|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <cassert>#include <util/lang/cpp_expr2string.h>#include <util/irep/std_types.h>#include <util/symtab/symbol.h>#include <util/message/message.h>#include <unordered_set>Classes | |
| class | cpp_expr2stringt |
Functions | |
| std::string | cpp_expr2string (const exprt &expr, const namespacet &ns, unsigned flags) |
| std::string | cpp_type2string (const typet &type, const namespacet &ns, unsigned flags) |
| std::string cpp_expr2string | ( | const exprt & | expr, |
| const namespacet & | ns, | ||
| unsigned | flags ) |
| std::string cpp_type2string | ( | const typet & | type, |
| const namespacet & | ns, | ||
| unsigned | flags ) |