cbegin_ntc¶
-
inline non_trivial_class_iterator libsemigroups::Congruence::cbegin_ntc()¶
Returns a const iterator pointing to the first non-trivial (size > 1) class of the congruence.
- Complexity
See warnings.
- Parameters
(None)
Warning
The problem of determining the return value of this function is undecidable in general, and this function may never terminate.
- Throws
LibsemigroupsException – if
!this->has_parent_froidure_pin()
.- Returns
A CongruenceInterface::non_trivial_class_iterator pointing to a std::vector<word_type>.