cprover
cpp_type2name.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: C++ Language Module
4
5
Author: 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
17
#include <
util/type.h
>
18
19
class
exprt
;
20
21
std::string
cpp_type2name
(
const
typet
&
type
);
22
std::string
cpp_expr2name
(
const
exprt
&expr);
23
24
#endif // CPROVER_CPP_CPP_TYPE2NAME_H
typet
The type of an expression, extends irept.
Definition:
type.h:29
exprt
Base class for all expressions.
Definition:
expr.h:53
type.h
Defines typet, type_with_subtypet and type_with_subtypest.
exprt::type
typet & type()
Return the type of the expression.
Definition:
expr.h:81
cpp_expr2name
std::string cpp_expr2name(const exprt &expr)
Definition:
cpp_type2name.cpp:179
cpp_type2name
std::string cpp_type2name(const typet &type)
Definition:
cpp_type2name.cpp:97
cpp
cpp_type2name.h
Generated by
1.8.20