bool is_top() const override final
void make_entry() final override
bool merge(const is_threaded_domaint &src, locationt from, locationt to)
bool is_bottom() const override final
void transform(locationt from, locationt to, ai_baset &ai, const namespacet &ns) final override
void make_bottom() final override
goto_programt::const_targett locationt
void make_top() final override