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.