cprover
xml_symbol.h File Reference

Converts symbols to xml structures and back. More...

#include <util/symbol.h>
#include <util/xml.h>
Include dependency graph for xml_symbol.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

void convert (const symbolt &, xmlt &)
 converts a symbol to an xml symbol node More...
 
void convert (const xmlt &, symbolt &)
 converts an xml symbol node to a symbol More...
 

Detailed Description

Converts symbols to xml structures and back.

Definition in file xml_symbol.h.

Function Documentation

§ convert() [1/2]

§ convert() [2/2]