CBMC
|
#include <local_cfg.h>
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) |
Definition at line 19 of file local_cfg.h.
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.
typedef std::size_t local_cfgt::node_nrt |
Definition at line 22 of file local_cfg.h.
typedef std::vector<nodet> local_cfgt::nodest |
Definition at line 37 of file local_cfg.h.
typedef std::vector<node_nrt> local_cfgt::successorst |
Definition at line 23 of file local_cfg.h.
|
inlineexplicit |
Definition at line 40 of file local_cfg.h.
|
protected |
Definition at line 14 of file local_cfg.cpp.
loc_mapt local_cfgt::loc_map |
Definition at line 35 of file local_cfg.h.
nodest local_cfgt::nodes |
Definition at line 38 of file local_cfg.h.