package prbnmcn-stats

You can search for identifiers within the package.

in-package search v0.2.0

package prbnmcn-stats

prbnmcn-stats
- Stats
  - Binning
  - Combi
  - Emp
    
    Empirical_statistics
    
    Float
    
    Rational
  - Fin
    
    Float
    
    Dist
    
    Rational
    
    Dist
  - Finbij
    
    Make
    
    Elt
    
    S
  - Gen
    
    Infix
    
    Make
    
    Infix
    
    RNG
    
    Rational
    
    Rational
  - Graph
    
    Dist
    
    Graph_statistics
    
    Table
    
    Undirected_edge
    
    Vertex_bij
    
    Make
    
    Graph
    
    V
    
    Table
    
    Undirected_edge
    
    Vertex_bij
  - Log_space
  - Mh
    
    MH_parameters
    
    Make
    
    X
    
    Make_core_sampling_loop
    
    X
  - Pdfs
  - Specfun
  - Stats_intf
    
    Fin_dist
    
    Fin_fun
    
    V
    
    Basis
    
    R
    
    Fin_kernel
    
    V
    
    Basis
    
    R
    
    Gen
    
    Infix
    
    Rational
    
    Graph
    
    V
    
    Stateful_PRNG

Legend:
Library
Module
Module type
Parameter
Class
Class type

Dist handles distances between vertices. The distance between two vertices is the length of a shortest path between those vertices.

type t =

| Inf
| Fin of int

val zero : t

The distance between two vertices is zero iff they are equal.

val one : t

The distance between two vertices is one iff they are adjacent.

val infty : t

The distance between two vertices is infty iff they are disconnected.

val (+) : t -> t -> t

Adding distances.

val (>) : t -> t -> bool

Comparing distances.

val max : t -> t -> t

Computing the max of two distances.