cprover
|
Convert goto functions into xml structures and back. More...
Go to the source code of this file.
Functions | |
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... | |
Convert goto functions into xml structures and back.
Definition in file xml_goto_function.h.
void convert | ( | const xmlt & | xml, |
goto_functionst::goto_functiont & | function | ||
) |
constructs the goto_function according to the information in the xml structure.
Definition at line 33 of file xml_goto_function.cpp.
void convert | ( | const goto_functionst::goto_functiont & | function, |
xmlt & | xml | ||
) |
takes a goto_function and creates an according xml structure
Definition at line 23 of file xml_goto_function.cpp.
References convert(), and xml().
Referenced by string_constraint_generatort::add_axioms_for_to_lower_case(), string_constraint_generatort::add_axioms_for_to_upper_case(), convert(), bmct::error_trace(), bmc_covert::operator()(), bmc_all_propertiest::report(), symex_parse_optionst::report_cover(), clobber_parse_optionst::show_counterexample(), symex_parse_optionst::show_counterexample(), and show_value_sets().