number_of_idempotents

inline size_t libsemigroups::Konieczny::number_of_idempotents()

Returns the number of idempotents in this.

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