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

Go to the source code of this file.

Functions

std::string expr2c (const exprt &expr, const namespacet &ns)
 
std::string type2c (const typet &type, const namespacet &ns)
 

Function Documentation

◆ expr2c()

◆ type2c()

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

Definition at line 3975 of file expr2c.cpp.

References expr2c().

Referenced by ansi_c_languaget::from_type(), and c_typecheck_baset::to_string().