CBMC
dep_nodet Struct Reference

#include <dependence_graph.h>

+ Inheritance diagram for dep_nodet:
+ Collaboration diagram for dep_nodet:

Public Types

typedef graph_nodet< dep_edget >::edget edget
 
typedef graph_nodet< dep_edget >::edgest edgest
 
- Public Types inherited from graph_nodet< dep_edget >
typedef std::size_t node_indext
 
typedef dep_edget edget
 
typedef std::map< node_indext, edgetedgest
 

Public Attributes

goto_programt::const_targett PC
 
- Public Attributes inherited from graph_nodet< dep_edget >
edgest in
 
edgest out
 

Additional Inherited Members

- Public Member Functions inherited from graph_nodet< dep_edget >
void add_in (node_indext n)
 
void add_out (node_indext n)
 
void erase_in (node_indext n)
 
void erase_out (node_indext n)
 
std::string pretty (const node_indext &idx) const
 
virtual ~graph_nodet ()
 

Detailed Description

Definition at line 58 of file dependence_graph.h.

Member Typedef Documentation

◆ edgest

Definition at line 61 of file dependence_graph.h.

◆ edget

Definition at line 60 of file dependence_graph.h.

Member Data Documentation

◆ PC

Definition at line 63 of file dependence_graph.h.


The documentation for this struct was generated from the following file: