ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
cpp_expr2string.cpp File Reference
#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>
Include dependency graph for cpp_expr2string.cpp:

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)

Function Documentation

◆ cpp_expr2string()

std::string cpp_expr2string ( const exprt & expr,
const namespacet & ns,
unsigned flags )

◆ cpp_type2string()

std::string cpp_type2string ( const typet & type,
const namespacet & ns,
unsigned flags )