current_number_of_D_classes

inline size_t libsemigroups::Konieczny::current_number_of_D_classes() const

Returns the current number of \(\mathscr{D}\)-classes of this.

This member function does not perform any enumeration of the semigroup.