package topology

You can search for identifiers within the package.

in-package search v0.2.0

package topology

topology
- Network
  - EDGE
  - MAKE
    
    Edge
    
    PATH
    
    Parse
    
    Path
    
    Weight
    
    Pretty
    
    Topology
    
    Edge
    
    EdgeSet
    
    PortSet
    
    UnitWeight
    
    Vertex
    
    VertexHash
    
    VertexSet
    
    Traverse
    
    UnitPath
    
    Vertex
  - Make
    
    Edge
    
    PATH
    
    Parse
    
    Path
    
    Weight
    
    Pretty
    
    Topology
    
    Edge
    
    EdgeSet
    
    PortSet
    
    UnitWeight
    
    Vertex
    
    VertexHash
    
    VertexSet
    
    Traverse
    
    UnitPath
    
    Vertex
  - NETWORK
    
    PATH
    
    Parse
    
    Path
    
    Weight
    
    Pretty
    
    Topology
    
    Edge
    
    EdgeSet
    
    PortSet
    
    UnitWeight
    
    Vertex
    
    VertexHash
    
    VertexSet
    
    Traverse
    
    UnitPath
  - VERTEX
  - WEIGHT
- Network_Common
  - Link
  - Net
    
    PATH
    
    Parse
    
    Path
    
    Weight
    
    Pretty
    
    Topology
    
    Edge
    
    EdgeSet
    
    PortSet
    
    UnitWeight
    
    Vertex
    
    VertexHash
    
    VertexSet
    
    Traverse
    
    UnitPath
  - NetPath
  - Node

Legend:
Library
Module
Module type
Parameter
Class
Class type

type weight = int

type t = Topology.edge list

exception NegativeCycle of t

val shortest_path : 
  Topology.t ->
  Topology.vertex ->
  Topology.vertex ->
  t option

val all_shortest_paths : 
  Topology.t ->
  Topology.vertex ->
  Topology.vertex Topology.VertexHash.t

val all_pairs_shortest_paths : 
  Topology.t ->
  (weight * Topology.vertex * Topology.vertex * Topology.vertex list) list