cprover
class_hierarchyt::entryt Class Reference

#include <class_hierarchy.h>

Collaboration diagram for class_hierarchyt::entryt:
[legend]

Public Attributes

idst parents
 
idst children
 

Detailed Description

Definition at line 27 of file class_hierarchy.h.

Member Data Documentation

◆ children

idst class_hierarchyt::entryt::children

Definition at line 30 of file class_hierarchy.h.

Referenced by class_hierarchyt::get_children_trans_rec().

◆ parents

idst class_hierarchyt::entryt::parents

Definition at line 30 of file class_hierarchy.h.

Referenced by class_hierarchyt::get_parents_trans_rec().


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