package frenetic

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Parameters

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

Signature

type weight = Weight.t
type t = Topology.edge list
exception NegativeCycle of t
val shortest_path : Topology.t -> Topology.vertex -> Topology.vertex -> t option
val all_pairs_shortest_paths : topo:Topology.t -> f:(Topology.vertex -> Topology.vertex -> bool) -> (weight * Topology.vertex * Topology.vertex * Topology.edge list) list