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 aRho
struct.The second template parameter exists for SFINAE in overload resolution.
- Used by KoniecznyTraits.
- Template Parameters
TElementType – the type of the semigroup elements.