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

Parameters

module Weight : WEIGHT with type edge = Topology.Edge.t

Signature

Sourcetype weight = Weight.t

Sourcetype t = Topology.edge list

Sourceexception NegativeCycle of t

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

Source

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

Source

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