virtual void initialize(const namespacet &ns)
std::unordered_set< exprt, irep_hash > expr_sett
virtual void get_reference_set(const namespacet &ns, const exprt &expr, expr_sett &expr_set)
goto_programt::const_targett locationt
virtual bool transform(const namespacet &ns, locationt from_l, locationt to_l)
virtual void output(const namespacet &ns, std::ostream &out) const