cbegin_ntc¶
-
non_trivial_class_iterator
libsemigroups::Congruence
::
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
LibsemigroupsException
: if!this->has_parent_froidure_pin()
.