nr_generators

inline size_t libsemigroups::KnuthBendixCongruenceByPairs::nr_generators() const noexcept

Returns the number of generators specified by CongruenceInterface::set_nr_generators.

Exceptions

This function is noexcept and is guaranteed never to throw.

Complexity

Constant.

Parameters

(None)

Returns

The number of generators of the semigroup of the congruence that an object of this type represents, or libsemigroups::UNDEFINED.