CBMC
expr2cpp.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module:
4 
5 Author: Daniel Kroening, kroening@cs.cmu.edu
6 
7 \*******************************************************************/
8 
9 
10 #ifndef CPROVER_CPP_EXPR2CPP_H
11 #define CPROVER_CPP_EXPR2CPP_H
12 
13 #include <string>
14 
15 class exprt;
16 class namespacet;
17 class typet;
18 
19 std::string expr2cpp(const exprt &expr, const namespacet &ns);
20 std::string type2cpp(const typet &type, const namespacet &ns);
21 
22 #endif // CPROVER_CPP_EXPR2CPP_H
exprt
Base class for all expressions.
Definition: expr.h:56
namespacet
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Definition: namespace.h:94
typet
The type of an expression, extends irept.
Definition: type.h:29
type2cpp
std::string type2cpp(const typet &type, const namespacet &ns)
Definition: expr2cpp.cpp:493
expr2cpp
std::string expr2cpp(const exprt &expr, const namespacet &ns)
Definition: expr2cpp.cpp:486