cend_ntc

inline non_trivial_class_iterator libsemigroups::congruence::ToddCoxeter::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>.