Swap

using libsemigroups::Konieczny::Swap = typename TTraits::Swap

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