Rho

using libsemigroups::Konieczny::Rho = typename TTraits::Rho

Defined in adapters.hpp.

This type should be a stateless trivially default constructible with an operator of signature void operator()(TPointType&, TElementType const&), which should modify the first argument in-place to contain the rho value of the second argument. The kernel of the rho function should be Green’s \(\mathscr{R}\)-relation on the semigroup in question.

Used by KoniecznyTraits.

Template Parameters
  • TElementType: the type of the semigroup elements.

  • TPointType: the type of the rho points.