Up – Package index » lrgrep » Library lrijkstra_utils » Tarjan » IndexedSCC

Module `Tarjan.IndexedSCC`Source

Parameters

module G : sig ... end

Sourcetype node = G.n

Sourcetype n

Sourceval n : n Fix.Indexing.cardinal

Sourceval representatives : (n, node Fix.Indexing.index) Fix.Indexing.vector

Sourceval nodes : (n, node Utils.Misc.indexset) Fix.Indexing.vector

Sourceval component : (node, n Fix.Indexing.index) Fix.Indexing.vector