package fungi

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

package fungi

fungi
- Library fungi
  - Fungi
    
    Axiom
    
    Space
    
    Graph
    
    SccImpl
    
    NodeMap
    
    AdjSet
    
    SccTbl
    
    SccSet
    
    SccMap
    
    ClusterImpl
    
    NodeMap
    
    AdjSet
    
    Measurable
    
    Biject
    
    PathImpl
    
    NodeMap
    
    AdjSet
    
    EdgeSet
    
    Compute
    
    PathList
    
    PathHeap
    
    PathSet
    
    VertexImpl
    
    NodeMap
    
    SerDe
    
    GraphElt
    
    Graph
    
    AdjSet
    
    Weights
    
    NodeMap
    
    EdgeSet
    
    Vertex
    
    Scc
    
    SccTbl
    
    SccSet
    
    SccMap
    
    Cluster
    
    Path
    
    Compute
    
    PathList
    
    PathHeap
    
    PathSet
    
    Serialize
    
    StyleTbl
    
    AttrbTbl
    
    ClstrTbl
    
    Flow
    
    Flowtbl
    
    Matching
    
    Compute
    
    Span
    
    EdgeDisj
    
    BijectTbl
    
    ResolvTbl
    
    Plain
    
    MakeGraph
    
    AdjSet
    
    Weights
    
    NodeMap
    
    EdgeSet
    
    Vertex
    
    Scc
    
    SccTbl
    
    SccSet
    
    SccMap
    
    Cluster
    
    Path
    
    Compute
    
    PathList
    
    PathHeap
    
    PathSet
    
    Serialize
    
    StyleTbl
    
    AttrbTbl
    
    ClstrTbl
    
    Flow
    
    Flowtbl
    
    Matching
    
    Compute
    
    Span
    
    EdgeDisj
    
    BijectTbl
    
    ResolvTbl
    
    Heap
    
    Ordinal
    
    Surject
    
    FibHeap
    
    MakeFibHeap
    
    Treeset
    
    TSet
    
    TreeSet
    
    Unionfind
    
    UnionFind
    
    BijectTbl
    
    ResolvTbl
    
    MakeDisjointSet
    
    BijectTbl
    
    ResolvTbl
- Sources
  - fungi
    
    axiom.ml
    
    fungi.ml
    
    graph.ml
    
    heap.ml
    
    treeset.ml
    
    unionfind.ml

Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module `MakeGraph.Span`Source

Minimum Spanning Trees algorithms on graphs i.e kruskal and prims

Parameters

module Measure : Measurable with type edge = Unique.edge

Signature

Sourcemodule EdgeDisj : Unionfind.UnionFind with type elt = Unique.t

Sourceval cost : adj NodeMap.t -> Measure.t

Sourceval prim : Unique.t -> adj NodeMap.t -> adj NodeMap.t

Source

val kruskal : 
  ?connect:
    (Measure.edge -> Unique.t -> Unique.t -> adj NodeMap.t -> adj NodeMap.t) ->
  adj NodeMap.t ->
  adj NodeMap.t

package fungi

Module MakeGraph.SpanSource

Parameters

Signature

Module `MakeGraph.Span`Source