xml_parse_treet Class Reference

#include <xml_parse_tree.h>

Collaboration diagram for xml_parse_treet:

Public Member Functions
void	swap (xml_parse_treet &xml_parse_tree)
void	clear ()

Public Attributes
xmlt	xml
xmlt	element

Detailed Description

Definition at line 15 of file xml_parse_tree.h.

Member Function Documentation

clear()

void xml_parse_treet::clear

(

void

)

Definition at line 17 of file xml_parse_tree.cpp.

swap()

void xml_parse_treet::swap

(

xml_parse_treet &

xml_parse_tree

)

Definition at line 12 of file xml_parse_tree.cpp.

Member Data Documentation

element

xmlt xml_parse_treet::element

Definition at line 19 of file xml_parse_tree.h.

xml

xmlt xml_parse_treet::xml

Definition at line 18 of file xml_parse_tree.h.

---

The documentation for this class was generated from the following files:

• /home/runner/work/cbmc/cbmc/src/xmllang/xml_parse_tree.h
• /home/runner/work/cbmc/cbmc/src/xmllang/xml_parse_tree.cpp