cprover
|
#include <remove_virtual_functions.h>
Public Member Functions | |
dispatch_table_entryt ()=default | |
dispatch_table_entryt (const irep_idt &_class_id) | |
Public Attributes | |
symbol_exprt | symbol_expr |
irep_idt | class_id |
Definition at line 53 of file remove_virtual_functions.h.
|
default |
|
inlineexplicit |
Definition at line 57 of file remove_virtual_functions.h.
irep_idt dispatch_table_entryt::class_id |
Definition at line 62 of file remove_virtual_functions.h.
symbol_exprt dispatch_table_entryt::symbol_expr |
Definition at line 61 of file remove_virtual_functions.h.