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