/*******************************************************************\
 
Module: Converts symbols to xml structures and back.
 
Author: CM Wintersteiger
 
Date: June 2006
 
\*******************************************************************/

#ifndef XML_SYMBOL_H_
#define XML_SYMBOL_H_

#include <util/symbol.h>
#include <util/xml.h>

void convert(const symbolt &, xmlt &);
void convert(const xmlt &, symbolt &);

#endif /*XML_SYMBOL_H_*/
