33 std::cout <<
xml <<
'\n';
57 std::cout <<
xml <<
'\n';
static bool convert(const irep_idt &identifier, const std::ostringstream &s, symbol_tablet &symbol_table, message_handlert &message_handler)
virtual void output(const namespacet &ns, const irep_idt &function_id, const goto_programt &goto_program, std::ostream &out) const
Output the abstract states for a single function.
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
goto_functionst goto_functions
GOTO functions.
A generic container class for the GOTO intermediate representation of one function.
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)