current_nr_rules

inline size_t libsemigroups::FroidurePin::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.