void make_bottom() final override
void make_entry() final override
void make_top() final override
void output(std::ostream &out, const ai_baset &ai, const namespacet &ns) const final override
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 override
bool is_bottom() const override final
goto_programt::const_targett locationt
bool is_top() const override final