cend_generating_pairsΒΆ

const_iterator libsemigroups::CongruenceInterface::cend_generating_pairs() const

Returns a const iterator pointing one-after-the-end of the last generating pair of the congruence added by CongruenceInterface::add_pair (if any).

Return

A CongruenceInterface::const_iterator pointing to a libsemigroups::relation_type.

Exceptions

This function is noexcept and is guaranteed never to throw.

Complexity

Constant.

Parameters

(None)