nr_rules

size_t libsemigroups::FroidurePin::nr_rules()

Returns the total number of relations in the presentation defining the semigroup.

See

FroidurePinBase::cbegin_rules and FroidurePinBase::cend_rules.