cprover
localst Class Reference

#include <locals.h>

Collaboration diagram for localst:
[legend]

Public Types

typedef std::map< irep_idt, symbol_exprtlocals_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)
 

Detailed Description

Definition at line 19 of file locals.h.

Member Typedef Documentation

◆ locals_mapt

Definition at line 37 of file locals.h.

Constructor & Destructor Documentation

◆ localst()

localst::localst ( const goto_functiont goto_function)
inlineexplicit

Definition at line 22 of file locals.h.

References build().

Member Function Documentation

◆ build()

◆ is_local()

bool localst::is_local ( const irep_idt identifier) const
inline

◆ output()

void localst::output ( std::ostream &  out) const

Definition at line 33 of file locals.cpp.

References locals_map.

Referenced by operator<<().

Member Data Documentation

◆ locals_map


The documentation for this class was generated from the following files: