xml_expr.cpp File Reference

Expressions in XML. More...

#include "xml_expr.h"
#include "arith_tools.h"
#include "config.h"
#include "expr.h"
#include "fixedbv.h"
#include "ieee_float.h"
#include "invariant.h"
#include "namespace.h"
#include "std_expr.h"
#include "xml.h"

Include dependency graph for xml_expr.cpp:

Go to the source code of this file.

Functions
xmlt	xml (const source_locationt &location)
xmlt	xml (const typet &type, const namespacet &ns)
xmlt	xml (const exprt &expr, const namespacet &ns)

Detailed Description

Expressions in XML.

Definition in file xml_expr.cpp.

Function Documentation

xml() [1/3]

xmlt xml

(

const source_locationt &

location

)

Definition at line 26 of file xml_expr.cpp.

xml() [2/3]

xmlt xml	(	const typet &	type,
		const namespacet &	ns
	)

Definition at line 51 of file xml_expr.cpp.

xml() [3/3]

xmlt xml	(	const exprt &	expr,
		const namespacet &	ns
	)

Definition at line 150 of file xml_expr.cpp.