xml_parse_tree.h

Go to the documentation of this file.

/*******************************************************************\
 
Module:
 
Author: Daniel Kroening, kroening@kroening.com
 
\*******************************************************************/
 
 
#ifndef CPROVER_XMLLANG_XML_PARSE_TREE_H
#define CPROVER_XMLLANG_XML_PARSE_TREE_H
 
#include <util/xml.h>
 
class xml_parse_treet
{
public:
  xmlt xml;
  xmlt element;
 
  void swap(xml_parse_treet &xml_parse_tree);
  void clear();
};
 
#endif // CPROVER_XMLLANG_XML_PARSE_TREE_H