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

#include <local_cfg.h>

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

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, goto_programt::target_less_than >  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, goto_programt::target_less_than> local_cfgt::loc_mapt

Definition at line 34 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 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:

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