cprover
dispatch_table_entryt Class Reference

#include <remove_virtual_functions.h>

+ Collaboration diagram for dispatch_table_entryt:

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 53 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 57 of file remove_virtual_functions.h.

Member Data Documentation

◆ class_id

irep_idt dispatch_table_entryt::class_id

Definition at line 62 of file remove_virtual_functions.h.

◆ symbol_expr

symbol_exprt dispatch_table_entryt::symbol_expr

Definition at line 61 of file remove_virtual_functions.h.


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