cprover
|
#include <util/symbol_table.h>
#include <util/std_expr.h>
#include <util/std_code.h>
#include <goto-programs/class_hierarchy.h>
Go to the source code of this file.
Classes | |
class | resolve_inherited_componentt |
class | resolve_inherited_componentt::inherited_componentt |
Given a class and a component (either field or method), find the closest parent that defines that component.
Definition in file resolve_inherited_component.h.