cprover
|
#include <locals.h>
Public Types | |
typedef std::map< irep_idt, symbol_exprt > | locals_mapt |
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_mapt | locals_map |
Protected Member Functions | |
void | build (const goto_functiont &goto_function) |
typedef std::map<irep_idt, symbol_exprt> localst::locals_mapt |
|
inlineexplicit |
|
protected |
Definition at line 18 of file locals.cpp.
|
inline |
void localst::output | ( | std::ostream & | out | ) | const |
Definition at line 32 of file locals.cpp.
locals_mapt localst::locals_map |