spanning_forest

Forest const &libsemigroups::ActionDigraph::spanning_forest() const

Returns a libsemigroups::Forest comprised of spanning trees for each scc of this, rooted on the minimum node of that component, with edges oriented away from the root.

Return

A const reference to a libsemigroups::Forest.

Complexity

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

Parameters

(None)

Exceptions