CBMC
•All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
cpp_type2name.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: C++ Language Module
4
5Author: Daniel Kroening, kroening@cs.cmu.edu
6
7\*******************************************************************/
8
11
12#ifndef CPROVER_CPP_CPP_TYPE2NAME_H
13#define CPROVER_CPP_CPP_TYPE2NAME_H
14
15#include <string>
16
17class exprt;
18class typet;
19
20std::string cpp_type2name(const typet &type);
21std::string cpp_expr2name(const exprt &expr);
22
23#endif // CPROVER_CPP_CPP_TYPE2NAME_H
exprt
Base class for all expressions.
Definition expr.h:56
typet
The type of an expression, extends irept.
Definition type.h:29
cpp_type2name
std::string cpp_type2name(const typet &type)
Definition cpp_type2name.cpp:101
cpp_expr2name
std::string cpp_expr2name(const exprt &expr)
Definition cpp_type2name.cpp:183