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

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

old_valuesharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::real_value_comparatort
operator()(const mapped_type &new_value)sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::real_value_comparatortinline
real_value_comparatort(const mapped_type &old_value)sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::real_value_comparatortinlineexplicit