cprover
local_cfg.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: CFG for One Function
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_ANALYSES_LOCAL_CFG_H
13 #define CPROVER_ANALYSES_LOCAL_CFG_H
14 
15 #include <util/numbering.h>
16 
18 
20 {
21 public:
22  typedef std::size_t node_nrt;
23  typedef std::vector<node_nrt> successorst;
24 
25  class nodet
26  {
27  public:
30  };
31 
32  typedef std::map<goto_programt::const_targett, node_nrt> loc_mapt;
34 
35  typedef std::vector<nodet> nodest;
37 
38  explicit local_cfgt(const goto_programt &_goto_program)
39  {
40  build(_goto_program);
41  }
42 
43 protected:
44  void build(const goto_programt &goto_program);
45 };
46 
47 #endif // CPROVER_ANALYSES_LOCAL_CFG_H
void build(const goto_programt &goto_program)
Definition: local_cfg.cpp:27
loc_mapt loc_map
Definition: local_cfg.h:33
std::vector< node_nrt > successorst
Definition: local_cfg.h:23
local_cfgt(const goto_programt &_goto_program)
Definition: local_cfg.h:38
std::vector< nodet > nodest
Definition: local_cfg.h:35
std::size_t node_nrt
Definition: local_cfg.h:22
nodest nodes
Definition: local_cfg.h:36
instructionst::const_iterator const_targett
Definition: goto_program.h:415
goto_programt::const_targett t
Definition: local_cfg.h:28
A generic container class for the GOTO intermediate representation of one function.
Definition: goto_program.h:72
std::map< goto_programt::const_targett, node_nrt > loc_mapt
Definition: local_cfg.h:32
Concrete Goto Program.
successorst successors
Definition: local_cfg.h:29