CBMC
Loading...
Searching...
No Matches
Functions
xml_expr.h File Reference
#include <util/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 &)
 

Function Documentation

◆  xml() [1/2]

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

Definition at line 129 of file xml_expr.cpp.

◆  xml() [2/2]

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

Definition at line 26 of file xml_expr.cpp.

AltStyle によって変換されたページ (->オリジナル) /