sharing_mapt< keyT, valueT, fail_if_equal, hashT, equalT >::noop_value_comparatort Struct Reference

#include <sharing_map.h>

Public Member Functions
	noop_value_comparatort (const mapped_type &)
bool	operator() (const mapped_type &)

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 >::noop_value_comparatort

Definition at line 224 of file sharing_map.h.

Constructor & Destructor Documentation

noop_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 >::noop_value_comparatort::noop_value_comparatort ( const mapped_type &  )

inlineexplicit

Definition at line 226 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 >::noop_value_comparatort::operator() ( const mapped_type &  )

inline

Definition at line 230 of file sharing_map.h.

---

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

• /home/runner/work/cbmc/cbmc/src/util/sharing_map.h