FpSemigroupByPairs

template<typename TElementType = Element const *, typename TElementHash = Hash<TElementType>, typename TElementEqual = EqualTo<TElementType>>
using libsemigroups::FpSemigroupByPairs = CongruenceWrapper<CongruenceByPairs<TElementType, TElementHash, TElementEqual>>

This class is a wrapper for CongruenceByPairs that provides the FpSemigroupInterface.

See CongruenceWrapper for further details.