cprover
xml_goto_function_hashing.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Convert goto functions into xml structures and back (with irep
4  hashing).
5 
6 Author: CM Wintersteiger
7 
8 Date: July 2006
9 
10 \*******************************************************************/
11 
14 
15 #ifndef CPROVER_GOTO_CC_XML_BINARIES_XML_GOTO_FUNCTION_HASHING_H
16 #define CPROVER_GOTO_CC_XML_BINARIES_XML_GOTO_FUNCTION_HASHING_H
17 
18 #include <util/xml.h>
20 
21 #include "xml_irep_hashing.h"
22 
24 {
25 private:
27 
28 public:
30  ireps_container(ic)
31  {
32  }
33 
36 };
37 
38 #endif // CPROVER_GOTO_CC_XML_BINARIES_XML_GOTO_FUNCTION_HASHING_H
xml_goto_function_convertt(xml_irep_convertt::ireps_containert &ic)
Goto Programs with Functions.
XML-irep conversions with hashing.
void convert(const xmlt &, goto_functionst::goto_functiont &)
constructs the goto_function according to the information in the xml structure.
xml_irep_convertt::ireps_containert & ireps_container
Definition: xml.h:18
goto_function_templatet< goto_programt > goto_functiont