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_equalt	inlineexplicit
operator()(const class_typet::methodt &method) const	is_virtual_name_equalt	inline
virtual_name	is_virtual_name_equalt	private