cprover
xml_symbol.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Converts symbols to xml structures and back.
4
5
Author: CM Wintersteiger
6
7
Date: June 2006
8
9
\*******************************************************************/
10
13
14
#ifndef CPROVER_GOTO_CC_XML_BINARIES_XML_SYMBOL_H
15
#define CPROVER_GOTO_CC_XML_BINARIES_XML_SYMBOL_H
16
17
#include <
util/symbol.h
>
18
#include <
util/xml.h
>
19
20
void
convert
(
const
symbolt
&,
xmlt
&);
21
void
convert
(
const
xmlt
&,
symbolt
&);
22
23
#endif // CPROVER_GOTO_CC_XML_BINARIES_XML_SYMBOL_H
symbol.h
Symbol table entry.
symbolt
Symbol table entry.This is a symbol in the symbol table, stored in an object of type symbol_tablet...
Definition:
symbol.h:33
xmlt
Definition:
xml.h:18
xml.h
convert
void convert(const symbolt &, xmlt &)
converts a symbol to an xml symbol node
Definition:
xml_symbol.cpp:21
goto-cc
xml_binaries
xml_symbol.h
Generated by
1.8.12