cprover
Loading...
Searching...
No Matches
class_hierarchy_graph_nodet Class Reference

Class hierarchy graph node: simply contains a class identifier. More...

#include <class_hierarchy.h>

Inheritance diagram for class_hierarchy_graph_nodet:
Collaboration diagram for class_hierarchy_graph_nodet:

Public Attributes

irep_idt class_identifier
 Class ID for this node.
Public Attributes inherited from graph_nodet< empty_edget >
edgest in
edgest out

Additional Inherited Members

Public Types inherited from graph_nodet< empty_edget >
typedef std::size_t node_indext
typedef empty_edget edget
typedef std::map< node_indext, edgetedgest
Public Member Functions inherited from graph_nodet< empty_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

Class hierarchy graph node: simply contains a class identifier.

Definition at line 91 of file class_hierarchy.h.

Member Data Documentation

◆ class_identifier

irep_idt class_hierarchy_graph_nodet::class_identifier

Class ID for this node.

Definition at line 95 of file class_hierarchy.h.


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