cprover
dispatch_table_entryt Class Reference

#include <remove_virtual_functions.h>

Collaboration diagram for dispatch_table_entryt:
[legend]

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
 

Detailed Description

Definition at line 54 of file remove_virtual_functions.h.

Constructor & Destructor Documentation

◆ dispatch_table_entryt() [1/2]

dispatch_table_entryt::dispatch_table_entryt ( )
default

◆ dispatch_table_entryt() [2/2]

dispatch_table_entryt::dispatch_table_entryt ( const irep_idt _class_id)
inlineexplicit

Definition at line 58 of file remove_virtual_functions.h.

Member Data Documentation

◆ class_id

irep_idt dispatch_table_entryt::class_id

Definition at line 63 of file remove_virtual_functions.h.

Referenced by remove_virtual_functionst::get_functions().

◆ symbol_expr


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