cprover
Loading...
Searching...
No Matches
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

◆ 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: