cprover
cpp_type2name.h File Reference

C++ Language Module. More...

#include <string>
#include <util/type.h>
+ 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 179 of file cpp_type2name.cpp.

◆ cpp_type2name()

std::string cpp_type2name ( const typet type)

Definition at line 97 of file cpp_type2name.cpp.