Concept definition

template<typename F, typename T>
concept Aleph::EqualityComparator = 
      std::equivalence_relation<F, T, T> and
      std::equivalence_relation<const F &, const T &, const T &>

Detailed Description

Equivalence relation constraint for equality comparators.

Used by hash table classes (GenLhashTable, ODhashTable, etc.) to constrain the Cmp template parameter. Requires both the non-const and const invocation shapes for the same reason as StrictWeakOrder: mutating hash-table paths (e.g. ODhashTable::allocate_bucket()) invoke the stored cmp as a non-const lvalue, while other paths bind it through const.

Template Parameters

F	functor type.
T	key type.

Definition at line 142 of file ah-concepts.H.