size

size_t libsemigroups::Konieczny::size()

Returns the size of this.

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

See

current_size