Swap

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

Defined in adapters.hpp.

This type should be a stateless trivially default constructible with a call operator of signature void operator()(TValueType const&, TValueType const&) (possibly noexcept, inline and/or constexpr also) which swaps its arguments.

The second template parameter exists for SFINAE in overload resolution.

Template Parameters

• TValueType: the type of objects to compare.

Used by:

• ActionTraits

• FroidurePinTraits

• SchreierSimsTraits