CBMC
localst Class Reference

#include <locals.h>

+ Collaboration diagram for localst:

Public Types

typedef std::unordered_set< irep_idtlocals_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)
 

Detailed Description

Definition at line 24 of file locals.h.

Member Typedef Documentation

◆ locals_sett

typedef std::unordered_set<irep_idt> localst::locals_sett

Definition at line 42 of file locals.h.

Constructor & Destructor Documentation

◆ localst()

localst::localst ( const goto_functiont goto_function)
inlineexplicit

Definition at line 27 of file locals.h.

Member Function Documentation

◆ build()

void localst::build ( const goto_functiont goto_function)
protected

Definition at line 18 of file locals.cpp.

◆ is_local()

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

Definition at line 37 of file locals.h.

◆ output()

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

Definition at line 31 of file locals.cpp.

Member Data Documentation

◆ locals

locals_sett localst::locals

Definition at line 43 of file locals.h.


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