cprover
|
#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 > | 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> local_cfgt::loc_mapt |
Definition at line 32 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 35 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 38 of file local_cfg.h.
References build().
|
protected |
Definition at line 27 of file local_cfg.cpp.
References END_FUNCTION, END_THREAD, GOTO, goto_program_templatet< codeT, guardT >::instructions, loc_map, nodes, START_THREAD, local_cfgt::nodet::successors, local_cfgt::nodet::t, and THROW.
Referenced by local_cfgt().
loc_mapt local_cfgt::loc_map |
Definition at line 33 of file local_cfg.h.
Referenced by local_may_aliast::aliases(), build(), local_may_aliast::get(), and local_bitvector_analysist::get().
nodest local_cfgt::nodes |
Definition at line 36 of file local_cfg.h.
Referenced by build(), local_may_aliast::build(), and local_bitvector_analysist::build().