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

expr2c() [2/2]

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

Definition at line 4155 of file expr2c.cpp.

type2c() [1/3]

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

Definition at line 4181 of file expr2c.cpp.

type2c() [2/3]

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

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