32 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);
virtual void output(const goto_functionst &goto_functions, std::ostream &out) const
xmlt xml(const source_locationt &location)
static bool convert(const irep_idt &identifier, const std::ostringstream &s, symbol_tablet &symbol_table, message_handlert &message_handler)
void show_value_sets(ui_message_handlert::uit ui, const goto_modelt &goto_model, const value_set_analysist &value_set_analysis)
A generic container class for the GOTO intermediate representation of one function.
goto_functionst goto_functions
GOTO functions.