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