void output(std::ostream &out, const ai_baset &ai, const namespacet &ns) const final
bool merge(const invariant_set_domaint &other, locationt from, locationt to)
invariant_sett invariant_set
virtual void transform(locationt from_l, locationt to_l, ai_baset &ai, const namespacet &ns) final
goto_programt::const_targett locationt