30 convert(goto_functions, value_set_analysis,
xml);
31 std::cout <<
xml <<
'\n';
36 value_set_analysis.
output(goto_functions, std::cout);
55 convert(goto_program, value_set_analysis,
xml);
56 std::cout <<
xml <<
'\n';
61 value_set_analysis.
output(goto_program, std::cout);
virtual void output(const goto_functionst &goto_functions, std::ostream &out) const
xmlt xml(const source_locationt &location)
void convert(const goto_functionst::goto_functiont &function, xmlt &xml)
takes a goto_function and creates an according xml structure
A specialization of goto_program_templatet over goto programs in which instructions have codet type...
void show_value_sets(ui_message_handlert::uit ui, const goto_functionst &goto_functions, const value_set_analysist &value_set_analysis)