CBMC
Public Member Functions | Public Attributes | List of all members
sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::real_value_comparatort Struct Reference

#include <sharing_map.h>

Public Member Functions

 real_value_comparatort (const mapped_type &old_value)
 
bool operator() (const mapped_type &new_value)
 

Public Attributes

mapped_type old_value
 

Detailed Description

template<typename keyT, typename valueT, bool fail_if_equal = false, typename hashT = std::hash<keyT>, typename equalT = std::equal_to<keyT>>
struct sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::real_value_comparatort

Definition at line 236 of file sharing_map.h.

Constructor & Destructor Documentation

◆ real_value_comparatort()

template<typename keyT , typename valueT , bool fail_if_equal = false, typename hashT = std::hash<keyT>, typename equalT = std::equal_to<keyT>>
sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::real_value_comparatort::real_value_comparatort ( const mapped_type &  old_value)
inlineexplicit

Definition at line 239 of file sharing_map.h.

Member Function Documentation

◆ operator()()

template<typename keyT , typename valueT , bool fail_if_equal = false, typename hashT = std::hash<keyT>, typename equalT = std::equal_to<keyT>>
bool sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::real_value_comparatort::operator() ( const mapped_type &  new_value)
inline

Definition at line 244 of file sharing_map.h.

Member Data Documentation

◆ old_value

template<typename keyT , typename valueT , bool fail_if_equal = false, typename hashT = std::hash<keyT>, typename equalT = std::equal_to<keyT>>
mapped_type sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::real_value_comparatort::old_value

Definition at line 238 of file sharing_map.h.

The documentation for this struct was generated from the following file: