CBMC
sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::noop_value_comparatort Member List

This is the complete list of members for sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::noop_value_comparatort, including all inherited members.

noop_value_comparatort(const mapped_type &)sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::noop_value_comparatortinlineexplicit
operator()(const mapped_type &)sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::noop_value_comparatortinline