cprover
xml_expr.h File Reference
#include "xml.h"
+ Include dependency graph for xml_expr.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

xmlt xml (const exprt &, const namespacet &)
 
xmlt xml (const typet &, const namespacet &)
 
xmlt xml (const source_locationt &)
 

Function Documentation

◆ xml() [1/3]

xmlt xml ( const exprt ,
const namespacet  
)

Definition at line 150 of file xml_expr.cpp.

◆ xml() [2/3]

xmlt xml ( const source_locationt )

Definition at line 26 of file xml_expr.cpp.

◆ xml() [3/3]

xmlt xml ( const typet ,
const namespacet  
)

Definition at line 51 of file xml_expr.cpp.