Rho

using libsemigroups::KoniecznyTraits::Rho = ::libsemigroups::Rho<element_type, rho_value_type>

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.