cbegin_scc_roots

inline const_iterator_scc_roots libsemigroups::ActionDigraph::cbegin_scc_roots() const

Returns an iterator pointing to the root of the first scc.

Complexity

At most \(O(mn)\) where m is nr_nodes() and n is out_degree().

Parameters

(None)

Throws

LibsemigroupsException – if it is not the case that every node has exactly out_degree() out-neighbors. In other words, if neighbor() is libsemigroups::UNDEFINED for any node nd and any label lbl. If an exception is thrown, this might be modified but is guaranteed to be in a valid state (basic exception guarantee).

Returns

A ActionDigraph::const_iterator_scc_roots.