Up – Package index » The Catala compiler » Library catala.desugared » Desugared » Dependency » SCC

Module `Dependency.SCC`Source

Tarjan's stongly connected components algorithm, provided by OCamlGraph

Sourceval scc : ScopeDependencies.t -> int * (ScopeDependencies.V.t -> int)

Sourceval scc_array : ScopeDependencies.t -> ScopeDependencies.V.t list array

Sourceval scc_list : ScopeDependencies.t -> ScopeDependencies.V.t list list