Go to the documentation of this file.
14 #ifndef CPROVER_ANALYSES_LOCALS_H
15 #define CPROVER_ANALYSES_LOCALS_H
27 void output(std::ostream &out)
const;
45 std::ostream &out,
const localst &locals)
51 #endif // CPROVER_ANALYSES_LOCALS_H
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
std::ostream & operator<<(std::ostream &out, const localst &locals)
void output(std::ostream &out) const
std::unordered_set< irep_idt > locals_sett
bool is_local(const irep_idt &identifier) const
A goto function, consisting of function type (see type), function body (see body),...
void build(const goto_functiont &goto_function)
localst(const goto_functiont &goto_function)