cprover
|
Show Value Sets. More...
Go to the source code of this file.
Functions | |
void | show_value_sets (ui_message_handlert::uit, const goto_modelt &, const value_set_analysist &) |
Show Value Sets.
Definition in file show_value_sets.h.
void show_value_sets | ( | ui_message_handlert::uit | , |
const goto_modelt & | , | ||
const value_set_analysist & | |||
) |
Definition at line 21 of file show_value_sets.cpp.
References convert(), goto_modelt::goto_functions, static_analysis_baset::output(), ui_message_handlert::PLAIN, xml(), and ui_message_handlert::XML_UI.
Referenced by goto_instrument_parse_optionst::doit().