CBMC
|
Class Hierarchy. More...
#include <iosfwd>
#include <map>
#include <unordered_map>
#include <util/graph.h>
#include <util/irep.h>
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 " {y--show-class-hierarchy} \t 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 " {y--show-class-hierarchy} \t show the class hierarchy\n" |
Definition at line 27 of file class_hierarchy.h.
#define OPT_SHOW_CLASS_HIERARCHY "(show-class-hierarchy)" |
Definition at line 24 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.