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.