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