14 #ifndef CPROVER_ANALYSES_LOCALS_H
15 #define CPROVER_ANALYSES_LOCALS_H
18 #include <unordered_set>
32 void output(std::ostream &out)
const;
50 std::ostream &out,
const localst &locals)
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
A goto function, consisting of function body (see body) and parameter identifiers (see parameter_iden...
void build(const goto_functiont &goto_function)
localst(const goto_functiont &goto_function)
void output(std::ostream &out) const
bool is_local(const irep_idt &identifier) const
std::unordered_set< irep_idt > locals_sett
std::ostream & operator<<(std::ostream &out, const localst &locals)