cprover
is_virtual_name_equalt Member List

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

is_virtual_name_equalt(const class_typet::methodt &method)is_virtual_name_equaltinlineexplicit
operator()(const class_typet::methodt &method) constis_virtual_name_equaltinline
virtual_nameis_virtual_name_equaltprivate