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
4
#include <
util/lang/c_expr2string.h
>
5
6
std::string
7
cpp_expr2string
(
const
exprt
&expr,
const
namespacet
&ns,
unsigned
flags = 0);
8
9
std::string
10
cpp_type2string
(
const
typet
&type,
const
namespacet
&ns,
unsigned
flags = 0);
c_expr2string.h
exprt
Definition
expr.h:34
namespacet
Definition
namespace.h:10
typet
Definition
type.h:9
cpp_expr2string
std::string cpp_expr2string(const exprt &expr, const namespacet &ns, unsigned flags=0)
Definition
cpp_expr2string.cpp:389
cpp_type2string
std::string cpp_type2string(const typet &type, const namespacet &ns, unsigned flags=0)
Definition
cpp_expr2string.cpp:397
src
util
lang
cpp_expr2string.h
Generated by
1.15.0