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 localst(const goto_functiont &goto_function)
std::ostream & operator<<(std::ostream &out, const localst &locals)
std::map< irep_idt, symbol_exprt > locals_mapt
bool is_local(const irep_idt &identifier) const
void output(std::ostream &out) const
void build(const goto_functiont &goto_function)
dstringt has one field, an unsigned integer no which is an index into a static table of strings...
A goto function, consisting of function type (see type), function body (see body), and parameter identifiers (see parameter_identifiers).