CBMC
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 23 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 27 of file dense_integer_map.h.


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