|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <map>#include <set>#include <util/lang/c_qualifiers.h>#include <util/irep/expr.h>#include <util/symtab/namespace.h>#include <util/irep/std_code.h>#include <util/lang/c_expr2string.h>Go to the source code of this file.
Classes | |
| class | expr2ct |
Functions | |
| std::string | expr2c (const exprt &expr, const namespacet &ns, unsigned flags=0) |
| std::string | type2c (const typet &type, const namespacet &ns, unsigned flags=0) |
| std::string | typedef2c (const typet &type, const namespacet &ns, unsigned flags=0) |
| std::string expr2c | ( | const exprt & | expr, |
| const namespacet & | ns, | ||
| unsigned | flags = 0 ) |
| std::string type2c | ( | const typet & | type, |
| const namespacet & | ns, | ||
| unsigned | flags = 0 ) |
| std::string typedef2c | ( | const typet & | type, |
| const namespacet & | ns, | ||
| unsigned | flags = 0 ) |