cprover
Loading...
Searching...
No Matches
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: