cpp_type2name.h File Reference

C++ Language Module. More...

#include <string>

Include dependency graph for cpp_type2name.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
std::string	cpp_type2name (const typet &type)
std::string	cpp_expr2name (const exprt &expr)

Detailed Description

C++ Language Module.

Definition in file cpp_type2name.h.

Function Documentation

cpp_expr2name()

std::string cpp_expr2name

(

const exprt &

expr

)

Definition at line 183 of file cpp_type2name.cpp.

cpp_type2name()

std::string cpp_type2name

(

const typet &

type

)

Definition at line 101 of file cpp_type2name.cpp.