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
>
19
#include <
goto-programs/goto_functions.h
>
20
21
#include "
xml_irep_hashing.h
"
22
23
class
xml_goto_function_convertt
24
{
25
private
:
26
xml_irep_convertt::ireps_containert
&
ireps_container
;
27
28
public
:
29
explicit
xml_goto_function_convertt
(
xml_irep_convertt::ireps_containert
&ic):
30
ireps_container
(ic)
31
{
32
}
33
34
void
convert
(
const
xmlt
&,
goto_functionst::goto_functiont
&);
35
void
convert
(
const
goto_functionst::goto_functiont
&,
xmlt
&);
36
};
37
38
#endif // CPROVER_GOTO_CC_XML_BINARIES_XML_GOTO_FUNCTION_HASHING_H
xml_goto_function_convertt::xml_goto_function_convertt
xml_goto_function_convertt(xml_irep_convertt::ireps_containert &ic)
Definition:
xml_goto_function_hashing.h:29
goto_functions.h
Goto Programs with Functions.
xml_irep_hashing.h
XML-irep conversions with hashing.
xml_goto_function_convertt::convert
void convert(const xmlt &, goto_functionst::goto_functiont &)
constructs the goto_function according to the information in the xml structure.
Definition:
xml_goto_function_hashing.cpp:35
xml_goto_function_convertt::ireps_container
xml_irep_convertt::ireps_containert & ireps_container
Definition:
xml_goto_function_hashing.h:26
xmlt
Definition:
xml.h:18
xml.h
goto_functions_templatet< goto_programt >::goto_functiont
goto_function_templatet< goto_programt > goto_functiont
Definition:
goto_functions_template.h:102
xml_irep_convertt::ireps_containert
Definition:
xml_irep_hashing.h:60
xml_goto_function_convertt
Definition:
xml_goto_function_hashing.h:23
goto-cc
xml_binaries
xml_goto_function_hashing.h
Generated by
1.8.14