cbegin_ntc

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