33 std::cout <<
xml <<
'\n';
56 convert(goto_program, value_set_analysis,
xml);
57 std::cout <<
xml <<
'\n';
62 value_set_analysis.
output(goto_program, std::cout);
static bool convert(const irep_idt &identifier, const std::ostringstream &s, symbol_tablet &symbol_table, message_handlert &message_handler)
goto_functionst goto_functions
GOTO functions.
A generic container class for the GOTO intermediate representation of one function.
virtual void output(const goto_functionst &goto_functions, std::ostream &out) const
This template class implements a data-flow analysis which keeps track of what values different variab...
xmlt xml(const irep_idt &property_id, const property_infot &property_info)
void show_value_sets(ui_message_handlert::uit ui, const goto_modelt &goto_model, const value_set_analysist &value_set_analysis)