void symex_dereference_statet::get_value_set(
const exprt &expr,
value_setst::valuest &value_set)
{
renaming_nst renaming_ns(goto_symex.ns, state);
state.value_set.get_value_set(expr, value_set, renaming_ns);
#if 0
std::cout << "**************************\n";
state.value_set.output(std::cout, renaming_ns);
std::cout << "**************************\n";
#endif
#if 0
std::cout << "E: " << expr.pretty() << std::endl;
#endif
#if 0
std::cout << "**************************\n";
for(expr_sett::const_iterator it=value_set.begin();
it!=value_set.end();
it++)
std::cout << from_expr(renaming_ns, "", *it) << std::endl;
std::cout << "**************************\n";
#endif
}
void value_sett::get_value_set(
const exprt &expr,
value_setst::valuest &dest,
const namespacet &ns) const
{
object_mapt object_map;
get_value_set(expr, object_map, ns, false);
for(object_map_dt::const_iterator
it=object_map.read().begin();
it!=object_map.read().end();
it++)
dest.push_back(to_expr(it));
#if 0
for(value_setst::valuest::const_iterator it=dest.begin(); it!=dest.end(); it++)
std::cout << "GET_VALUE_SET: " << from_expr(ns, "", *it) << std::endl;
#endif
}