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
std::optional< symbol_exprt >	symbol_expr
irep_idt	class_id

Detailed Description

Definition at line 68 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 71 of file remove_virtual_functions.h.

Member Data Documentation

class_id

irep_idt dispatch_table_entryt::class_id

Definition at line 99 of file remove_virtual_functions.h.

symbol_expr

std::optional<symbol_exprt> dispatch_table_entryt::symbol_expr

Definition at line 98 of file remove_virtual_functions.h.

---

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

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