API REFERENCE
Bibliography
Further info
libsemigroups::Konieczny::
::
size
Returns the size of this.
this
This involves computing complete frames for every \(\mathscr{D}\)-class of this.
current_size