cprover
xml_symbol_hashing.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: XML-symbol conversions with irep hashing
4 
5 Author: CM Wintersteiger
6 
7 Date: July 2006
8 
9 \*******************************************************************/
10 
13 
14 #ifndef CPROVER_GOTO_CC_XML_BINARIES_XML_SYMBOL_HASHING_H
15 #define CPROVER_GOTO_CC_XML_BINARIES_XML_SYMBOL_HASHING_H
16 
17 #include <util/symbol.h>
18 #include <util/xml.h>
19 
20 #include "xml_irep_hashing.h"
21 
23 {
24 private:
26  std::list<irept> irepcache;
27 
28 public:
30  irepconverter(ic)
31  {
32  }
33 
34  void convert(const symbolt &, xmlt &);
35  void convert(const xmlt &, symbolt &);
36 };
37 
38 #endif // CPROVER_GOTO_CC_XML_BINARIES_XML_SYMBOL_HASHING_H
xml_irep_convertt irepconverter
xml_symbol_convertt(xml_irep_convertt::ireps_containert &ic)
Symbol table entry.
Symbol table entry.This is a symbol in the symbol table, stored in an object of type symbol_tablet...
Definition: symbol.h:33
XML-irep conversions with hashing.
std::list< irept > irepcache
Definition: xml.h:18
void convert(const symbolt &, xmlt &)
converts a symbol to an xml symbol node