Member types

using libsemigroups::KoniecznyTraits::const_element_type = typename detail::BruidhinnTraits<TElementType>::const_value_type

The type of const elements of a Konieczny instance.

using libsemigroups::KoniecznyTraits::element_type = typename detail::BruidhinnTraits<TElementType>::value_type

The type of the elements of a Konieczny instance with const removed.

using libsemigroups::KoniecznyTraits::lambda_orb_type = RightAction<element_type, lambda_value_type, ImageRightAction<element_type, lambda_value_type>>

The type of the orbit of the lambda values under ImageRightAction.

See also

ImageRightAction and RightAction

using libsemigroups::KoniecznyTraits::lambda_value_type = typename ::libsemigroups::LambdaValue<element_type>::type

Alias for LambdaValue with template parameter element_type.

using libsemigroups::KoniecznyTraits::rank_state_type = typename ::libsemigroups::RankState<element_type>

Alias for RhoValue with template parameter element_type.

using libsemigroups::KoniecznyTraits::rho_orb_type = LeftAction<element_type, rho_value_type, ImageLeftAction<element_type, rho_value_type>>

The type of the orbit of the rho values under ImageLeftAction.

See also

ImageLeftAction and LeftAction

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

Alias for RhoValue with template parameter element_type.