RankState< Element, typename >

template<typename Element, typename = void>
class libsemigroups::RankState< Element, typename >

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 Element.

The default declaration provided here has type = void and indicates that no RankState object is required by Rank with template parameter Element.

Template Parameters

Element

the type of elements.

The second template parameter exists for SFINAE.

Used by:

• KoniecznyTraits.

Public Types
using	type = void

Public Member Functions
	RankState () noexcept=default
	Default constructor; does nothing.
	RankState (RankState &&)=delete
	Deleted.
	RankState (RankState const &)=default
	Deleted.
template<typename T>
	RankState (T, T) noexcept
	Iterator constructor; does nothing.
RankState &	operator= (RankState &&)=delete
	Deleted.
RankState &	operator= (RankState const &)=delete
	Deleted.

Member Typedef Documentation

type

template<typename Element, typename = void>

using type = void

By default no additional state is required to calculate Rank<Element>; this is represented by type being void.

---

The documentation for this class was generated from the following file:

• /Users/jdm/libsemigroups/include/libsemigroups/adapters.hpp