xml_expr.cpp File Reference

#include "xml_expr.h"
#include <util/arith_tools.h>
#include <util/c_types.h>
#include <util/config.h>
#include <util/expr_util.h>
#include <util/fixedbv.h>
#include <util/ieee_float.h>
#include <util/invariant.h>
#include <util/namespace.h>
#include <util/pointer_expr.h>
#include <util/xml.h>

Include dependency graph for xml_expr.cpp:

Go to the source code of this file.

Functions
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/2]

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

Definition at line 130 of file xml_expr.cpp.

xml() [2/2]

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

Definition at line 27 of file xml_expr.cpp.