Loading...
Searching...
No Matches
dispatch_table_entryt Class Reference
#include <remove_virtual_functions.h>
+ Collaboration diagram for dispatch_table_entryt:
Detailed Description
Constructor & Destructor Documentation
◆ dispatch_table_entryt()
dispatch_table_entryt::dispatch_table_entryt
(
const irep_idt &
_class_id )
Member Data Documentation
◆ class_id
irep_idt dispatch_table_entryt::class_id
◆ symbol_expr
std::optional<
symbol_exprt> dispatch_table_entryt::symbol_expr
The documentation for this class was generated from the following file:
