cprover
remove_virtual_functionst::functiont Class Reference
Collaboration diagram for remove_virtual_functionst::functiont:
[legend]

Public Member Functions

 functiont ()
 
 functiont (const irep_idt &_class_id)
 

Public Attributes

symbol_exprt symbol_expr
 
irep_idt class_id
 

Detailed Description

Definition at line 41 of file remove_virtual_functions.cpp.

Constructor & Destructor Documentation

◆ functiont() [1/2]

remove_virtual_functionst::functiont::functiont ( )
inline

Definition at line 44 of file remove_virtual_functions.cpp.

◆ functiont() [2/2]

remove_virtual_functionst::functiont::functiont ( const irep_idt _class_id)
inlineexplicit

Definition at line 45 of file remove_virtual_functions.cpp.

Member Data Documentation

◆ class_id

irep_idt remove_virtual_functionst::functiont::class_id

Definition at line 50 of file remove_virtual_functions.cpp.

◆ symbol_expr

symbol_exprt remove_virtual_functionst::functiont::symbol_expr

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