cprover
is_name_equalt Member List

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

is_name_equalt(const irep_idt &name)is_name_equaltinlineexplicit
nameis_name_equaltprivate
operator()(const class_typet::componentt &component) constis_name_equaltinline