NetPath (p.frenetic.5.0.5.doc.frenetic.kernel.Frenetic

Sourcetype weight = float

Sourcetype t = Net.Topology.edge list

Sourceexception NegativeCycle of t

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

Source

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

Source

val all_pairs_shortest_paths : 
  topo:Net.Topology.t ->
  f:(Net.Topology.vertex -> Net.Topology.vertex -> bool) ->
  (weight * Net.Topology.vertex * Net.Topology.vertex * Net.Topology.edge list)
    list