cprover
resolve_inherited_componentt Member List

This is the complete list of members for resolve_inherited_componentt, including all inherited members.

build_full_component_identifier(const irep_idt &class_name, const irep_idt &component_name)resolve_inherited_componenttstatic
class_hierarchyresolve_inherited_componenttprivate
does_implementation_exist(const irep_idt &class_name, const irep_idt &component_name, const irep_idt &user_class_name)resolve_inherited_componenttprivate
operator()(const irep_idt &class_id, const irep_idt &component_name, bool include_interfaces)resolve_inherited_componentt
resolve_inherited_componentt(const symbol_tablet &symbol_table)resolve_inherited_componenttexplicit
resolve_inherited_componentt(const symbol_tablet &symbol_table, const class_hierarchyt &class_hierarchy)resolve_inherited_componentt
symbol_tableresolve_inherited_componenttprivate