cprover
|
#include <xml_goto_function_hashing.h>
Public Member Functions | |
xml_goto_function_convertt (xml_irep_convertt::ireps_containert &ic) | |
void | convert (const xmlt &, goto_functionst::goto_functiont &) |
constructs the goto_function according to the information in the xml structure. More... | |
void | convert (const goto_functionst::goto_functiont &, xmlt &) |
takes a goto_function and creates an according xml structure More... | |
Private Attributes | |
xml_irep_convertt::ireps_containert & | ireps_container |
Definition at line 23 of file xml_goto_function_hashing.h.
|
inlineexplicit |
Definition at line 29 of file xml_goto_function_hashing.h.
References convert().
void xml_goto_function_convertt::convert | ( | const xmlt & | xml, |
goto_functionst::goto_functiont & | function | ||
) |
constructs the goto_function according to the information in the xml structure.
Definition at line 35 of file xml_goto_function_hashing.cpp.
References xml_goto_program_convertt::convert(), and ireps_container.
Referenced by read_goto_object(), and xml_goto_function_convertt().
void xml_goto_function_convertt::convert | ( | const goto_functionst::goto_functiont & | function, |
xmlt & | xml | ||
) |
takes a goto_function and creates an according xml structure
Definition at line 22 of file xml_goto_function_hashing.cpp.
References xml_goto_program_convertt::convert(), and ireps_container.
|
private |
Definition at line 26 of file xml_goto_function_hashing.h.
Referenced by convert().