cend_ntc

non_trivial_class_iterator libsemigroups::congruence::KnuthBendix::cend_ntc()

Returns a const iterator pointing one-past-the-end of the non-trivial (size > 1) classes of the congruence.

Return

A CongruenceInterface::non_trivial_class_iterator pointing to a std::vector<word_type>.

Complexity

See warnings.

Warning

The problem of determining the return value of this function is undecidable in general, and this function may never terminate.

Parameters

(None)

Exceptions