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>
19 
22 
23 #endif // CPROVER_GOTO_CC_XML_BINARIES_XML_GOTO_FUNCTION_H
Goto Programs with Functions.
Definition: xml.h:18
goto_function_templatet< goto_programt > goto_functiont
void convert(const xmlt &, goto_functionst::goto_functiont &)
constructs the goto_function according to the information in the xml structure.