Module IR__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

Signature

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