package fungi

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

Module MakeGraph.SccSource

Sourcetype sccnode = {
  1. node : Unique.t;
  2. indx : int;
}
Sourcemodule SccTbl : Hashtbl.S with type key := sccnode
Sourcemodule SccSet : Treeset.TSet with type t := sccnode
Sourcemodule SccMap : Map.S with type key := int
Sourcetype solution = {
  1. disc : sccnode SccSet.set;
  2. onst : Unique.t AdjSet.set;
  3. stck : sccnode list;
  4. sccs : Unique.t SccTbl.t;
  5. time : int;
}
Sourcetype sccedge = int list * adj NodeMap.t
Sourceval tarjan : adj NodeMap.t -> solution
Sourceval kosaraju : adj NodeMap.t -> solution