Module `WeakTopologicalOrder.Bourdoncle_SCC`

Implementation of Bourdoncle's "Hierarchical decomposition of a directed graph into strongly connected components and subcomponents". See Bou Figure 4, page 10.

Parameters

module CFG : PreProcCfg

Signature

module CFG = CFG

val make : CFG.t -> CFG.Node.t Partition.t