class ArchSpec::Rules::StronglyConnectedComponents

Tarjan’s algorithm: the components that mutually reach each other, in one pass over the graph.