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 486 of file expr2cpp.cpp.

type2cpp()

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

Definition at line 493 of file expr2cpp.cpp.