cprover
xml_expr.cpp File Reference
#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 exprt expr,
const namespacet ns 
)

Definition at line 150 of file xml_expr.cpp.

◆ xml() [2/3]

xmlt xml ( const source_locationt location)

Definition at line 26 of file xml_expr.cpp.

◆ xml() [3/3]

xmlt xml ( const typet type,
const namespacet ns 
)

Definition at line 51 of file xml_expr.cpp.