cprover
Loading...
Searching...
No Matches
vs_dep_nodet Struct Reference

#include <variable_sensitivity_dependence_graph.h>

Inheritance diagram for vs_dep_nodet:
Collaboration diagram for vs_dep_nodet:

Public Types

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

Public Attributes

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

Additional Inherited Members

Public Member Functions inherited from graph_nodet< vs_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 62 of file variable_sensitivity_dependence_graph.h.

Member Typedef Documentation

◆ edgest

◆ edget

Member Data Documentation

◆ PC

goto_programt::const_targett vs_dep_nodet::PC

Definition at line 67 of file variable_sensitivity_dependence_graph.h.


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