EqualTo

template<typename TValueType, typename = void>
struct libsemigroups::EqualTo

Defined in adapters.hpp.

This type should be a stateless trivially default constructible with a call operator of signature bool operator()(TValueType const&, TValueType const&) (possibly noexcept, inline and/or constexpr also) for use with, for example, std::unordered_map.

The second template parameter exists for SFINAE in overload resolution.

Template Parameters

• TValueType: the type of objects to compare.

Used by:

• ActionTraits

• CongruenceByPairs

• FroidurePinTraits

• SchreierSimsTraits

Public Functions

bool operator()(TValueType const &x, TValueType const &y) const

This call operator compares x and y using std::equal<TValueType>.

Return

A bool.

Parameters

• x: const reference to TValueType to compare with y.

• y: const reference to TValueType to compare with x.