current_nr_rules¶
-
size_t
libsemigroups::FroidurePinBase
::
current_nr_rules
() const noexcept¶ Returns the number of relations in the presentation for the semigroup that have been found so far.
This is only the actual number of relations in a presentation defining the semigroup if the semigroup is fully enumerated.