rho_value_type

using libsemigroups::KoniecznyTraits::rho_value_type = typename ::libsemigroups::RhoValue<element_type>::type

Defined in adapters.hpp.

This type should be a stateless struct with a single typedef type representing the type that should be used or returned by a Rho struct.

The second template parameter exists for SFINAE in overload resolution.

Used by KoniecznyTraits.

Template Parameters

TElementType – the type of the semigroup elements.