CBMC
|
#include <locals.h>
Public Types | |
typedef std::unordered_set< irep_idt > | locals_sett |
Public Member Functions | |
localst (const goto_functiont &goto_function) | |
void | output (std::ostream &out) const |
bool | is_local (const irep_idt &identifier) const |
Public Attributes | |
locals_sett | locals |
Protected Member Functions | |
void | build (const goto_functiont &goto_function) |
typedef std::unordered_set<irep_idt> localst::locals_sett |
|
inlineexplicit |
|
protected |
Definition at line 18 of file locals.cpp.
|
inline |
void localst::output | ( | std::ostream & | out | ) | const |
Definition at line 31 of file locals.cpp.
locals_sett localst::locals |