API REFERENCE
Bibliography
Further info
Returns the number of \(\mathscr{R}\)-classes of this.
this
This involves computing complete frames for every \(\mathscr{D}\)-class of this.