number_of_regular_R_classes

size_t libsemigroups::Konieczny::number_of_regular_R_classes()

Returns the number of regular \(\mathscr{R}\)-classes of this.

This involves computing complete frames for every \(\mathscr{D}\)-class of this.