cprover
dep_nodet Struct Reference

#include <dependence_graph.h>

Inheritance diagram for dep_nodet:
[legend]
Collaboration diagram for dep_nodet:
[legend]

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)
 

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: