33 if(location==previous_location)
40 const value_sett &value_set=get_value_set(i_it);
45 for(value_sett::valuest::const_iterator
46 v_it=value_set.
values.begin();
47 v_it!=value_set.
values.end();
56 v_it->second.expr_set();
58 for(value_sett::expr_sett::const_iterator
59 e_it=expr_set.begin();
63 std::string value_str=
79 dest=
xmlt(
"value_set_analysis");
81 for(goto_functionst::function_mapt::const_iterator
88 value_set_analysis.
convert(f_it->second.body, f_it->first, f);
97 dest=
xmlt(
"value_set_analysis");
void convert(const goto_functionst &goto_functions, const value_set_analysist &value_set_analysis, xmlt &dest)
const std::string & id2string(const irep_idt &d)
std::string from_expr(const namespacet &ns, const irep_idt &identifier, const exprt &expr)
function_mapt function_map
xmlt xml(const source_locationt &location)
std::set< exprt > expr_sett
Set of expressions; only used for the get API, not for internal data representation.
instructionst::const_iterator const_targett
State type in value_set_domaint, used in value-set analysis and goto-symex.
static void escape(const std::string &s, std::ostream &out)
escaping for XML elements
xmlt & new_element(const std::string &name)
A generic container class for the GOTO intermediate representation of one function.
const irep_idt & get_file() const
void value_sets_to_xml(std::function< const value_sett &(goto_programt::const_targett)> get_value_set, const goto_programt &goto_program, const irep_idt &identifier, xmlt &dest)
goto_programt & goto_program
void convert(const goto_programt &goto_program, const irep_idt &identifier, xmlt &dest) const
#define forall_goto_program_instructions(it, program)
valuest values
Stores the LHS ID -> RHS expression set map.