cprover
expr2cpp.h File Reference
#include <string>
Include dependency graph for expr2cpp.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

std::string expr2cpp (const exprt &expr, const namespacet &ns)
 
std::string type2cpp (const typet &type, const namespacet &ns)
 

Function Documentation

◆ expr2cpp()

std::string expr2cpp ( const exprt expr,
const namespacet ns 
)

Definition at line 505 of file expr2cpp.cpp.

References expr2cpp().

Referenced by expr2cpp(), cpp_languaget::from_expr(), cpp_typecheckt::to_string(), and type2cpp().

◆ type2cpp()

std::string type2cpp ( const typet type,
const namespacet ns 
)