local_cfgt Class Reference

#include <local_cfg.h>

Collaboration diagram for local_cfgt:

Classes
class	nodet

Public Types
typedef std::size_t	node_nrt
typedef std::vector< node_nrt >	successorst
typedef std::map< goto_programt::const_targett, node_nrt >	loc_mapt
typedef std::vector< nodet >	nodest

Public Member Functions
	local_cfgt (const goto_programt &_goto_program)

Public Attributes
loc_mapt	loc_map
nodest	nodes

Protected Member Functions
void	build (const goto_programt &goto_program)

Detailed Description

Definition at line 19 of file local_cfg.h.

Member Typedef Documentation

loc_mapt

typedef std::map<goto_programt::const_targett, node_nrt> local_cfgt::loc_mapt

Definition at line 32 of file local_cfg.h.

node_nrt

typedef std::size_t local_cfgt::node_nrt

Definition at line 22 of file local_cfg.h.

nodest

typedef std::vector<nodet> local_cfgt::nodest

Definition at line 35 of file local_cfg.h.

successorst

typedef std::vector<node_nrt> local_cfgt::successorst

Definition at line 23 of file local_cfg.h.

Constructor & Destructor Documentation

local_cfgt()

local_cfgt::local_cfgt ( const goto_programt &  _goto_program )

inlineexplicit

Definition at line 38 of file local_cfg.h.

Member Function Documentation

build()

void local_cfgt::build ( const goto_programt &  goto_program )

protected

Definition at line 14 of file local_cfg.cpp.

Member Data Documentation

loc_map

loc_mapt local_cfgt::loc_map

Definition at line 33 of file local_cfg.h.

nodes

nodest local_cfgt::nodes

Definition at line 36 of file local_cfg.h.

---

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

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