identity_functort Class Reference

Identity functor. When we use C++20 this can be replaced with std::identity. More...

#include <dense_integer_map.h>

Public Member Functions
template<typename T >
constexpr T &&	operator() (T &&t) const

Detailed Description

Identity functor. When we use C++20 this can be replaced with std::identity.

Definition at line 22 of file dense_integer_map.h.

Member Function Documentation

operator()()

template<typename T >

constexpr T&& identity_functort::operator() ( T &&  t ) const

inlineconstexpr

Definition at line 26 of file dense_integer_map.h.

---

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

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