virtual void output(const namespacet &ns, std::ostream &out) const
goto_programt::const_targett locationt
virtual void initialize(const namespacet &, locationt l)
virtual void get_reference_set(const namespacet &ns, const exprt &expr, value_setst::valuest &dest)
virtual void transform(const namespacet &ns, const irep_idt &function_from, locationt from_l, const irep_idt &function_to, locationt to_l)
bool merge(const value_set_domain_templatet< VST > &other, locationt)
value_set_domain_templatet< value_sett > value_set_domaint