ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
cpp_expr2string.h
Go to the documentation of this file.
1
2#pragma once
3
5
6std::string
7cpp_expr2string(const exprt &expr, const namespacet &ns, unsigned flags = 0);
8
9std::string
10cpp_type2string(const typet &type, const namespacet &ns, unsigned flags = 0);
Definition expr.h:34
Definition namespace.h:10
Definition type.h:9
std::string cpp_expr2string(const exprt &expr, const namespacet &ns, unsigned flags=0)
Definition cpp_expr2string.cpp:389
std::string cpp_type2string(const typet &type, const namespacet &ns, unsigned flags=0)
Definition cpp_expr2string.cpp:397