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