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.
- Template Parameters
TElementType
: the type of the semigroup elements.
- Used by KoniecznyTraits.