Hash

template<>
using libsemigroups::ActionTraits<TElementType, TPointType>::Hash = libsemigroups::Hash<TPointType>

Defined in adapters.hpp.

This type should be a stateless trivially default constructible with a call operator of signature size_t operator()(TValueType const&) 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