CBMC
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_nrtsuccessorst
 
typedef std::map< goto_programt::const_targett, node_nrt, goto_programt::target_less_thanloc_mapt
 
typedef std::vector< nodetnodest
 

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

◆ 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 37 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 40 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 35 of file local_cfg.h.

◆ nodes

nodest local_cfgt::nodes

Definition at line 38 of file local_cfg.h.


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