This is the complete list of members for dispatch_table_entryt, including all inherited members.

class_id	dispatch_table_entryt
dispatch_table_entryt(const irep_idt &_class_id)	dispatch_table_entryt	inlineexplicit
symbol_expr	dispatch_table_entryt