nr_generating_pairs

size_t libsemigroups::congruence::KnuthBendix::nr_generating_pairs() const noexcept

Returns the number of generating pairs added by CongruenceInterface::add_pair.

Return

The number of generating pairs of the congruence that an object of this type represents.

Exceptions

This function is noexcept and is guaranteed never to throw.

Complexity

Constant.

Parameters

(None)