![]() |
Awali
Another Weighted Automata library
|
This class takes a type E that computes equality for type K and allows to compute equality for type K const* by calling deferencing both values and calling E on them.
More...
#include <linked_map.hxx>
Public Member Functions | |
| bool | operator() (K *key1, K *key2) const noexcept |
This class takes a type E that computes equality for type K and allows to compute equality for type K const* by calling deferencing both values and calling E on them.
A nullptr is considered equal to itself and different to other pointers.
|
noexcept |