cprover
|
Show Value Sets. More...
#include "show_value_sets.h"
#include <iostream>
#include <util/xml.h>
#include "value_set_analysis.h"
Go to the source code of this file.
Functions | |
void | show_value_sets (ui_message_handlert::uit ui, const goto_functionst &goto_functions, const value_set_analysist &value_set_analysis) |
void | show_value_sets (ui_message_handlert::uit ui, const goto_programt &goto_program, const value_set_analysist &value_set_analysis) |
Show Value Sets.
Definition in file show_value_sets.cpp.
void show_value_sets | ( | ui_message_handlert::uit | ui, |
const goto_functionst & | goto_functions, | ||
const value_set_analysist & | value_set_analysis | ||
) |
Definition at line 20 of file show_value_sets.cpp.
References convert(), static_analysis_baset::output(), ui_message_handlert::PLAIN, xml(), and ui_message_handlert::XML_UI.
Referenced by goto_instrument_parse_optionst::doit().
void show_value_sets | ( | ui_message_handlert::uit | ui, |
const goto_programt & | goto_program, | ||
const value_set_analysist & | value_set_analysis | ||
) |
Definition at line 45 of file show_value_sets.cpp.
References convert(), static_analysis_baset::output(), ui_message_handlert::PLAIN, xml(), and ui_message_handlert::XML_UI.