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 173 of file cpp_type2name.cpp.

References irep2name().

Referenced by cpp_typecheckt::class_template_identifier().

§ cpp_type2name()