cend_ntc¶
-
inline non_trivial_class_iterator libsemigroups::Congruence::cend_ntc()¶
Returns a const iterator pointing one-past-the-end of the non-trivial (size > 1) classes 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>.