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 4195 of file expr2c.cpp.

◆ expr2c() [2/2]

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

Definition at line 4184 of file expr2c.cpp.

◆ type2c() [1/3]

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

Definition at line 4210 of file expr2c.cpp.

◆ type2c() [2/3]

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

Definition at line 4200 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 4215 of file expr2c.cpp.