CBMC
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Public Attributes | Protected Member Functions | List of all members
localst Class Reference

#include <locals.h>

+ Collaboration diagram for localst:
[フレーム]
[legend]

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/cbmc/src/analyses/locals.h
  • /home/runner/work/cbmc/cbmc/src/analyses/locals.cpp

AltStyle によって変換されたページ (->オリジナル) /