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

Member Data Documentation

children

idst class_hierarchyt::entryt::children

Definition at line 50 of file class_hierarchy.h.

is_abstract

bool class_hierarchyt::entryt::is_abstract

Definition at line 51 of file class_hierarchy.h.

parents

idst class_hierarchyt::entryt::parents

Definition at line 50 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