cprover
Loading...
Searching...
No Matches
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.

Classes

struct  expr2c_configurationt
 Used for configuring the behaviour of expr2c and type2c. More...
 

Functions

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

Function Documentation

◆ expr2c() [1/2]

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

Definition at line 4167 of file expr2c.cpp.

◆ expr2c() [2/2]

std::string expr2c ( const exprt & expr,
const namespacet & ns,
const expr2c_configurationt & configuration )

Definition at line 4156 of file expr2c.cpp.

◆ type2c() [1/3]

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

Definition at line 4182 of file expr2c.cpp.

◆ type2c() [2/3]

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

Definition at line 4172 of file expr2c.cpp.

◆ type2c() [3/3]

std::string type2c ( const typet & type,
const std::string & identifier,
const namespacet & ns,
const expr2c_configurationt & configuration )

Definition at line 4187 of file expr2c.cpp.