Tarjan (p.lrgrep.0.3.doc.lrijkstra

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)

val indexed_scc : 
  'n Fix.Indexing.cardinal ->
  succ:(('n Fix.Indexing.index -> unit) -> 'n Fix.Indexing.index -> unit) ->
  'n scc

Source

val close_forward : 
  'n scc ->
  succ:(('n Fix.Indexing.index -> unit) -> 'n Fix.Indexing.index -> unit) ->
  ('n, 'a Utils.Misc.indexset) Fix.Indexing.vector ->
  unit

Source

val close_backward : 
  'n scc ->
  pred:(('n Fix.Indexing.index -> unit) -> 'n Fix.Indexing.index -> unit) ->
  ('n, 'a Utils.Misc.indexset) Fix.Indexing.vector ->
  unit

Source

val close_relation : 
  (('n Fix.Indexing.index -> unit) -> 'n Fix.Indexing.index -> unit) ->
  ('n, 'a Utils.Misc.indexset) Fix.Indexing.vector ->
  unit