nr_rules

size_t libsemigroups::FroidurePin::nr_rules()

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

See

FroidurePin::next_relation.