ImageRightAction

template<typename TIntType>
struct libsemigroups::ImageRightAction<HPCombi::Perm16, TIntType, std::enable_if_t<std::is_integral<TIntType>::value>>

Defined in hpcombi.hpp.

Specialization of the adapter ImageRightAction for HPCombi::Perm16.

See also

ImageRightAction.

Public Functions

inline void operator()(TIntType &res, TIntType const &pt, HPCombi::Perm16 const &p) const noexcept

Stores the image of pt under p in res.

Throws

(None) – This function is noexcept and is guaranteed never to throw.

inline TIntType operator()(TIntType const &pt, HPCombi::Perm16 const &p) const noexcept

Returns the image of pt under p.

template<>
struct libsemigroups::ImageRightAction<HPCombi::PPerm16, HPCombi::PPerm16>

Defined in hpcombi.hpp.

Specialization of the adapter ImageRightAction for HPCombi::PPerm16.

See also

ImageRightAction.

Public Functions

inline void operator()(HPCombi::PPerm16 &res, HPCombi::PPerm16 const &x, HPCombi::PPerm16 const &y) const noexcept

Stores the idempotent \((xy) ^ {-1}xy\) in res.

Throws

(None) – This function is noexcept and is guaranteed never to throw.