CBMC
Public Member Functions | Public Attributes | List of all members
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: