|
CBMC
|
#include <iosfwd>#include <map>#include <unordered_map>#include <util/graph.h>#include <util/irep.h>
Include dependency graph for class_hierarchy.h:
This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Classes | |
| class | class_hierarchyt |
| Non-graph-based representation of the class hierarchy. More... | |
| class | class_hierarchyt::entryt |
| class | class_hierarchy_graph_nodet |
| Class hierarchy graph node: simply contains a class identifier. More... | |
| class | class_hierarchy_grapht |
| Class hierarchy, represented using grapht and therefore suitable for use with generic graph algorithms. More... | |
Macros | |
| #define | OPT_SHOW_CLASS_HIERARCHY "(show-class-hierarchy)" |
| #define | HELP_SHOW_CLASS_HIERARCHY " --show-class-hierarchy show the class hierarchy\n" |
Functions | |
| void | show_class_hierarchy (const class_hierarchyt &hierarchy, ui_message_handlert &message_handler, bool children_only=false) |
| Output the class hierarchy. More... | |
Class Hierarchy
Definition in file class_hierarchy.h.
| #define HELP_SHOW_CLASS_HIERARCHY " --show-class-hierarchy show the class hierarchy\n" |
Definition at line 28 of file class_hierarchy.h.
| #define OPT_SHOW_CLASS_HIERARCHY "(show-class-hierarchy)" |
Definition at line 25 of file class_hierarchy.h.
| void show_class_hierarchy | ( | const class_hierarchyt & | hierarchy, |
| ui_message_handlert & | message_handler, | ||
| bool | children_only = false |
||
| ) |
Output the class hierarchy.
| hierarchy | the class hierarchy to be printed |
| message_handler | the message handler |
| children_only | print the children only and do not print the parents |
Definition at line 262 of file class_hierarchy.cpp.