cprover
xml_expr.cpp File Reference

Expressions in XML. More...

#include "xml_expr.h"
#include "namespace.h"
#include "expr.h"
#include "xml.h"
#include "arith_tools.h"
#include "ieee_float.h"
#include "fixedbv.h"
#include "std_expr.h"
#include "config.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]

§ xml() [2/3]

§ xml() [3/3]