cprover
xml_goto_function.h
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Convert goto functions into 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_GOTO_FUNCTION_H
15
#define CPROVER_GOTO_CC_XML_BINARIES_XML_GOTO_FUNCTION_H
16
17
#include <
util/xml.h
>
18
#include <
goto-programs/goto_functions.h
>
19
20
void
convert
(
const
xmlt
&,
goto_functionst::goto_functiont
&);
21
void
convert
(
const
goto_functionst::goto_functiont
&,
xmlt
&);
22
23
#endif // CPROVER_GOTO_CC_XML_BINARIES_XML_GOTO_FUNCTION_H
goto_functions.h
Goto Programs with Functions.
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
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.cpp:33
goto-cc
xml_binaries
xml_goto_function.h
Generated by
1.8.12