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

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. More...

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, edget >	edgest

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 93 of file class_hierarchy.h.

Member Data Documentation

irep_idt class_hierarchy_graph_nodet::class_identifier

Class ID for this node.

Definition at line 97 of file class_hierarchy.h.

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

/home/runner/work/cbmc-documentation/cbmc-documentation/src/goto-programs/class_hierarchy.h