cbegin_ntcΒΆ

non_trivial_class_iterator libsemigroups::CongruenceInterface::cbegin_ntc()

Returns a const iterator pointing to the first non-trivial (size > 1) class 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