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
  - Float_table
  - Gen
    
    Infix
    
    Make
    
    Infix
    
    RNG
    
    Rational
    
    Rational
  - Graph
    
    Dist
    
    Graph_statistics
    
    Table
    
    Tree
    
    Undirected_edge
    
    Vertex_bij
    
    Vertex_set
    
    Vertex_table
    
    Make
    
    Graph
    
    V
    
    Table
    
    Tree
    
    Undirected_edge
    
    Vertex_bij
    
    Vertex_set
    
    Vertex_table
  - Int_table
  - Log_space
  - Mh
    
    MH_parameters
    
    Make
    
    X
    
    Make_core_sampling_loop
    
    X
  - Pdfs
  - Specfun
  - Stats_intf
    
    Fin_dist
    
    Gen
    
    Infix
    
    Rational
    
    Graph
    
    V
    
    Stateful_PRNG
  - String_table

Legend:
Library
Module
Module type
Parameter
Class
Class type

Tree defines a type of trees and functions to construct, deconstruct and iterate on those trees.

type t

val cons : vertex -> t list -> t

cons v sub constructs a tree with root v and subtrees sub.

val uncons : t -> vertex * t list

uncons t deconstructs t into a pair of its root and its subtrees.

val mem_vertex : t -> vertex -> bool

mem_vertex t v

val iter_vertices : t -> (vertex -> unit) -> unit

iter_vertices t f iterates f on the nodes of t.

val iter_edges : t -> ((vertex * vertex) -> unit) -> unit

iter_edges t f iterates f on the edges of t. The edges are directed from each node towards its subtrees.