localst Class Reference

#include <locals.h>

Collaboration diagram for localst:

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)

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:

• /home/runner/work/cbmc-documentation/cbmc-documentation/src/analyses/locals.h
• /home/runner/work/cbmc-documentation/cbmc-documentation/src/analyses/locals.cpp