void make_bottom() final override
no states
void make_entry() final override
a reasonable entry-point state
void make_top() final override
all states – the analysis doesn't use this, and domains may refuse to implement it...
The interface offered by a domain, allows code to manipulate domains without knowing their exact type...
void output(std::ostream &out, const ai_baset &, const namespacet &) const final override
invariant_sett invariant_set
virtual void transform(locationt from_l, locationt to_l, ai_baset &ai, const namespacet &ns) final override
how function calls are treated: a) there is an edge from each call site to the function head b) there...
bool is_bottom() const override final
goto_programt::const_targett locationt
bool merge(const invariant_set_domaint &other, locationt, locationt)
bool is_top() const override final