language_util.h File Reference

#include <util/irep.h>

Include dependency graph for language_util.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
std::string	from_expr (const namespacet &ns, const irep_idt &identifier, const exprt &expr)
std::string	from_expr (const exprt &expr)
std::string	from_type (const namespacet &ns, const irep_idt &identifier, const typet &type)
std::string	from_type (const typet &type)
exprt	to_expr (const namespacet &ns, const irep_idt &identifier, const std::string &src)
std::string	type_to_name (const namespacet &ns, const irep_idt &identifier, const typet &type)
std::string	type_to_name (const typet &type)

Function Documentation

from_expr() [1/2]

std::string from_expr	(	const namespacet &	ns,
		const irep_idt &	identifier,
		const exprt &	expr
	)

Definition at line 20 of file language_util.cpp.

from_expr() [2/2]

std::string from_expr

(

const exprt &

expr

)

Definition at line 59 of file language_util.cpp.

from_type() [1/2]

std::string from_type	(	const namespacet &	ns,
		const irep_idt &	identifier,
		const typet &	type
	)

Definition at line 33 of file language_util.cpp.

from_type() [2/2]

std::string from_type

(

const typet &

type

)

Definition at line 65 of file language_util.cpp.

to_expr()

exprt to_expr	(	const namespacet &	ns,
		const irep_idt &	identifier,
		const std::string &	src
	)

Definition at line 71 of file language_util.cpp.

type_to_name() [1/2]

std::string type_to_name	(	const namespacet &	ns,
		const irep_idt &	identifier,
		const typet &	type
	)

Definition at line 46 of file language_util.cpp.

type_to_name() [2/2]

std::string type_to_name

(

const typet &

type

)

Definition at line 91 of file language_util.cpp.