cprover
|
Public Member Functions | |
functiont () | |
functiont (const irep_idt &_class_id) | |
Public Attributes | |
symbol_exprt | symbol_expr |
irep_idt | class_id |
Definition at line 41 of file remove_virtual_functions.cpp.
|
inline |
Definition at line 44 of file remove_virtual_functions.cpp.
|
inlineexplicit |
Definition at line 45 of file remove_virtual_functions.cpp.
irep_idt remove_virtual_functionst::functiont::class_id |
Definition at line 50 of file remove_virtual_functions.cpp.
symbol_exprt remove_virtual_functionst::functiont::symbol_expr |
Definition at line 49 of file remove_virtual_functions.cpp.
Referenced by remove_virtual_functionst::get_child_functions_rec().