Swap

template<typename TValueType, typename = void>
struct libsemigroups::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

Public Functions

void operator()(TValueType &x, TValueType &y)

This call operator swaps x and y using std::swap<TValueType>.