cprover
|
#include <class_hierarchy.h>
Public Attributes | |
idst | parents |
idst | children |
Definition at line 27 of file class_hierarchy.h.
idst class_hierarchyt::entryt::children |
Definition at line 30 of file class_hierarchy.h.
Referenced by class_hierarchyt::get_children_trans_rec().
idst class_hierarchyt::entryt::parents |
Definition at line 30 of file class_hierarchy.h.
Referenced by class_hierarchyt::get_parents_trans_rec().