cprover
Loading...
Searching...
No Matches
xml_parse_tree.cpp
Go to the documentation of this file.
1/*******************************************************************\
2
3Module:
4
5Author: Daniel Kroening, kroening@kroening.com
6
7\*******************************************************************/
8
9
10#include "xml_parse_tree.h"
11
13{
14 xml_parse_tree.element.swap(element);
15}
16
18{
19 xml.clear();
20 element.clear();
21}
void swap(xml_parse_treet &xml_parse_tree)
void swap(xmlt &xml)
Definition: xml.cpp:25
void clear()
Definition: xml.cpp:17