rank_state_type

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

Defined in adapters.hpp.

Specialisations of this class should have a typedef type representing the type of data stored in the class, a 0-parameter constructor, and a constructor of signature template<typename T> RankState(T, T) where T is the type of a const iterator to a container of TElementTypes.

The default declaration provided here has type = void and indicates that no RankState object is required by Rank<TElementType>.

Used by KoniecznyTraits.

Template Parameters

• TElementType: the type of the semigroup elements.