number_of_D_classes

size_t libsemigroups::Konieczny::number_of_D_classes()

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

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