32 std::cout <<
xml <<
'\n';
57 std::cout <<
xml <<
'\n';
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_programt & goto_program
goto_functionst goto_functions
GOTO functions.