14 #ifndef CPROVER_ANALYSES_LOCALS_H 15 #define CPROVER_ANALYSES_LOCALS_H 24 explicit localst(
const goto_functiont &goto_function)
29 void output(std::ostream &out)
const;
43 void build(
const goto_functiont &goto_function);
47 std::ostream &out,
const localst &locals)
53 #endif // CPROVER_ANALYSES_LOCALS_H localst(const goto_functiont &goto_function)
Goto Programs with Functions.
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
goto_functionst::goto_functiont goto_functiont
void output(std::ostream &out) const
void build(const goto_functiont &goto_function)
goto_function_templatet< goto_programt > goto_functiont