number_of_regular_L_classes

size_t libsemigroups::Konieczny::number_of_regular_L_classes()

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

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