package lrgrep

  1. Overview
  2. Docs
package lrgrep
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module TarjanSource

Sourcemodule Run (G : sig ... end) : sig ... end
Sourcemodule type SCC = sig ... end
Sourcemodule IndexedSCC (G : sig ... end) : SCC with type node = G.n
Sourcetype 'n scc = (module SCC with type node = 'n)
Sourceval indexed_scc : 'n Fix.Indexing.cardinal -> succ:(('n Fix.Indexing.index -> unit) -> 'n Fix.Indexing.index -> unit) -> 'n scc
Sourceval close_forward : 'n scc -> succ:(('n Fix.Indexing.index -> unit) -> 'n Fix.Indexing.index -> unit) -> ('n, 'a Utils.Misc.indexset) Fix.Indexing.vector -> unit
Sourceval close_backward : 'n scc -> pred:(('n Fix.Indexing.index -> unit) -> 'n Fix.Indexing.index -> unit) -> ('n, 'a Utils.Misc.indexset) Fix.Indexing.vector -> unit
Sourceval close_relation : (('n Fix.Indexing.index -> unit) -> 'n Fix.Indexing.index -> unit) -> ('n, 'a Utils.Misc.indexset) Fix.Indexing.vector -> unit