prbnmcn-stats
Basic statistics
1024" x-on:close-sidebar="sidebar=window.innerWidth > 1024 && true">
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
module Dist : sig ... end
Dist
handles distances between vertices. The distance between two vertices is the length of a shortest path between those vertices.
module type Graph_statistics = sig ... end
module Make
(Graph : Stats_intf.Graph) :
Graph_statistics with type t = Graph.t and type vertex = Graph.vertex
Graph statistics generic on an undirected Graph
implementation.