44 if(location==previous_location)
51 const value_sett &value_set=(*this)[i_it].value_set;
56 for(value_sett::valuest::const_iterator
57 v_it=value_set.
values.begin();
58 v_it!=value_set.
values.end();
67 v_it->second.expr_set();
69 for(value_sett::expr_sett::const_iterator
70 e_it=expr_set.begin();
74 std::string value_str=
89 dest=
xmlt(
"value_set_analysis");
91 for(goto_functionst::function_mapt::const_iterator
98 value_set_analysis.
convert(f_it->second.body, f_it->first, f);
107 dest=
xmlt(
"value_set_analysis");
const std::string & id2string(const irep_idt &d)
std::string from_expr(const namespacet &ns, const irep_idt &identifier, const exprt &expr)
xmlt xml(const source_locationt &location)
std::set< exprt > expr_sett
void convert(const goto_programt &goto_program, const irep_idt &identifier, xmlt &dest) const
virtual void initialize(const goto_programt &goto_program)
static void escape(const std::string &s, std::ostream &out)
escaping for XML elements
function_mapt function_map
xmlt & new_element(const std::string &name)
A specialization of goto_program_templatet over goto programs in which instructions have codet type...
const irep_idt & get_file() const
virtual void initialize(const goto_programt &goto_program)
#define forall_goto_program_instructions(it, program)