dispatch_table_entryt Class Reference

#include <remove_virtual_functions.h>

Collaboration diagram for dispatch_table_entryt:

Public Member Functions
	dispatch_table_entryt (const irep_idt &_class_id)

Public Attributes
optionalt< symbol_exprt >	symbol_expr
irep_idt	class_id

Detailed Description

Definition at line 70 of file remove_virtual_functions.h.

Constructor & Destructor Documentation

dispatch_table_entryt()

dispatch_table_entryt::dispatch_table_entryt ( const irep_idt &  _class_id )

inlineexplicit

Definition at line 73 of file remove_virtual_functions.h.

Member Data Documentation

class_id

irep_idt dispatch_table_entryt::class_id

Definition at line 101 of file remove_virtual_functions.h.

symbol_expr

optionalt<symbol_exprt> dispatch_table_entryt::symbol_expr

Definition at line 100 of file remove_virtual_functions.h.

---

The documentation for this class was generated from the following file:

• /home/runner/work/cbmc-documentation/cbmc-documentation/src/goto-programs/remove_virtual_functions.h