class_hierarchyt::entryt Class Reference
#include <class_hierarchy.h>
Collaboration diagram for class_hierarchyt::entryt:Public Attributes | |
| idst | parents |
| idst | children |
| bool | is_abstract |
Detailed Description
Definition at line 45 of file class_hierarchy.h.
Member Data Documentation
◆ children
| idst class_hierarchyt::entryt::children |
Definition at line 48 of file class_hierarchy.h.
◆ is_abstract
| bool class_hierarchyt::entryt::is_abstract |
Definition at line 49 of file class_hierarchy.h.
◆ parents
| idst class_hierarchyt::entryt::parents |
Definition at line 48 of file class_hierarchy.h.
The documentation for this class was generated from the following file:
- /home/runner/work/cbmc/cbmc/src/goto-programs/class_hierarchy.h
