virtual bool transform(const namespacet &ns, locationt from_l, locationt to_l)
value_set_fivrt value_set
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 void output(const namespacet &ns, std::ostream &out) const
virtual void initialize(const namespacet &ns)