package camllib

You can search for identifiers within the package.

in-package search v0.2.0

package camllib

camllib
- DHashhe
  - Make
    
    HashX
    
    Hash
    
    HashY
    
    Hash
    
    P
    
    HashX
    
    Hash
    
    HashY
    
    Hash
  - Param
    
    HashX
    
    Hash
    
    HashY
    
    Hash
  - S
    
    HashX
    
    Hash
    
    HashY
    
    Hash
- DMappe
  - Make
    
    MappeX
    
    Setkey
    
    Ord
    
    MappeY
    
    Setkey
    
    Ord
    
    P
    
    MappeX
    
    Setkey
    
    Ord
    
    MappeY
    
    Setkey
    
    Ord
  - Param
    
    MappeX
    
    Setkey
    
    Ord
    
    MappeY
    
    Setkey
    
    Ord
  - S
    
    MappeX
    
    Setkey
    
    Ord
    
    MappeY
    
    Setkey
    
    Ord
- FGraph
  - Make
    
    MapE
    
    Setkey
    
    Ord
    
    MapV
    
    Setkey
    
    Ord
    
    SetE
    
    Ord
    
    SetV
    
    Ord
    
    T
    
    MapE
    
    Setkey
    
    Ord
    
    MapV
    
    Setkey
    
    Ord
  - S
    
    MapE
    
    Setkey
    
    Ord
    
    MapV
    
    Setkey
    
    Ord
    
    SetE
    
    Ord
    
    SetV
    
    Ord
  - T
    
    MapE
    
    Setkey
    
    Ord
    
    MapV
    
    Setkey
    
    Ord
- FGraph1
  - Make
    
    MapE
    
    Setkey
    
    Ord
    
    MapV
    
    Setkey
    
    Ord
    
    SetE
    
    Ord
    
    SetV
    
    Ord
    
    T
    
    MapE
    
    Setkey
    
    Ord
    
    MapV
    
    Setkey
    
    Ord
  - S
    
    MapE
    
    Setkey
    
    Ord
    
    MapV
    
    Setkey
    
    Ord
    
    SetE
    
    Ord
    
    SetV
    
    Ord
  - T
    
    MapE
    
    Setkey
    
    Ord
    
    MapV
    
    Setkey
    
    Ord
- Hashhe
  - Compare
  - HashedType
  - Make
    
    H
    
    Hash
  - S
    
    Hash
- HashheI
  - Hash
- HashheIB
  - Hash
- HashheS
  - Hash
- Ilist
- Mappe
  - Compare
  - Make
    
    Setkey
    
    Ord
  - S
    
    Setkey
    
    Ord
- MappeI
  - Setkey
    
    Ord
- MappeS
  - Setkey
    
    Ord
- MultiSetList
  - Make
    
    Ord
  - S
- PDHashhe
- PDMappe
- PHashhe
- PMappe
- PSHGraph
- PSette
- Parse
- Print
- Rational
- SHGraph
  - Compare
  - Make
    
    HashH
    
    Hash
    
    HashV
    
    Hash
    
    SetH
    
    Ord
    
    SetV
    
    Ord
    
    T
    
    HashH
    
    Hash
    
    HashV
    
    Hash
    
    SetH
    
    Ord
    
    SetV
    
    Ord
  - S
    
    HashH
    
    Hash
    
    HashV
    
    Hash
    
    SetH
    
    Ord
    
    SetV
    
    Ord
  - T
    
    HashH
    
    Hash
    
    HashV
    
    Hash
    
    SetH
    
    Ord
    
    SetV
    
    Ord
- SetList
  - Make
    
    Ord
  - S
- Sette
  - Compare
  - Make
    
    Ord
  - S
    
    Ord
- SetteI
  - Ord
- SetteS
  - Ord
- Statistic
- Symbol
  - Hash
  - HashedType
  - Map
    
    Setkey
    
    Ord
  - OrderedType
  - Set
    
    Ord
- Time
- Union

Legend:
Library
Module
Module type
Parameter
Class
Class type

type vertex

module SetV : sig ... end

module SetE : sig ... end

module MapV : sig ... end

module MapE : sig ... end

type ('b, 'c, 'd) t

val info : ('b, 'c, 'd) t -> 'd

val set_info : ('b, 'c, 'd) t -> 'd -> ('b, 'c, 'd) t

val succ : ('b, 'c, 'd) t -> vertex -> SetV.t

val pred : ('b, 'c, 'd) t -> vertex -> SetV.t

val attrvertex : ('b, 'c, 'd) t -> vertex -> 'b

val attredge : ('b, 'c, 'd) t -> (vertex * vertex) -> 'c

val empty : 'd -> ('b, 'c, 'd) t

val size_vertex : ('b, 'c, 'd) t -> int

val size_edge : ('b, 'c, 'd) t -> int

val size : ('b, 'c, 'd) t -> int * int

val is_empty : ('b, 'c, 'd) t -> bool

val is_vertex : ('b, 'c, 'd) t -> vertex -> bool

val is_edge : ('b, 'c, 'd) t -> (vertex * vertex) -> bool

val vertices : ('b, 'c, 'd) t -> SetV.t

val edges : ('b, 'c, 'd) t -> SetE.t

val map_vertex : 
  ('b, 'c, 'd) t ->
  (vertex -> 'b -> pred:SetV.t -> succ:SetV.t -> 'e) ->
  ('e, 'c, 'd) t

val map_edge : 
  ('b, 'c, 'd) t ->
  ((vertex * vertex) -> 'c -> 'e) ->
  ('b, 'e, 'd) t

val map_info : ('b, 'c, 'd) t -> ('d -> 'e) -> ('b, 'c, 'e) t

val map : 
  ('b, 'c, 'd) t ->
  (vertex -> 'b -> pred:SetV.t -> succ:SetV.t -> 'bb) ->
  ((vertex * vertex) -> 'c -> 'cc) ->
  ('d -> 'dd) ->
  ('bb, 'cc, 'dd) t

val transpose : 
  ('b, 'c, 'd) t ->
  (vertex -> 'b -> pred:SetV.t -> succ:SetV.t -> 'bb) ->
  ((vertex * vertex) -> 'c -> 'cc) ->
  ('d -> 'dd) ->
  ('bb, 'cc, 'dd) t

val iter_vertex : 
  ('b, 'c, 'd) t ->
  (vertex -> 'b -> pred:SetV.t -> succ:SetV.t -> unit) ->
  unit

val iter_edge : ('b, 'c, 'd) t -> ((vertex * vertex) -> 'c -> unit) -> unit

val fold_vertex : 
  ('b, 'c, 'd) t ->
  'e ->
  (vertex -> 'b -> pred:SetV.t -> succ:SetV.t -> 'e -> 'e) ->
  'e

val fold_edge : 
  ('b, 'c, 'd) t ->
  'e ->
  ((vertex * vertex) -> 'c -> 'e -> 'e) ->
  'e

val add_edge : ('b, 'c, 'd) t -> (vertex * vertex) -> 'c -> ('b, 'c, 'd) t

val remove_edge : ('b, 'c, 'd) t -> (vertex * vertex) -> ('b, 'c, 'd) t

val add_vertex : ('b, 'c, 'd) t -> vertex -> 'b -> ('b, 'c, 'd) t

val remove_vertex : ('b, 'c, 'd) t -> vertex -> ('b, 'c, 'd) t

val topological_sort : ('b, 'c, 'd) t -> vertex -> vertex list

val topological_sort_multi : vertex -> ('b, 'c, 'd) t -> SetV.t -> vertex list

val reachable : ('b, 'c, 'd) t -> vertex -> SetV.t

val reachable_multi : vertex -> ('b, 'c, 'd) t -> SetV.t -> SetV.t

val coreachable : ('b, 'c, 'd) t -> vertex -> SetV.t

val coreachable_multi : vertex -> ('b, 'c, 'd) t -> SetV.t -> SetV.t

val cfc : ('b, 'c, 'd) t -> vertex -> vertex list list

val cfc_multi : vertex -> ('b, 'c, 'd) t -> SetV.t -> vertex list list

val scfc : ('b, 'c, 'd) t -> vertex -> (unit, vertex) Ilist.t

val scfc_multi : vertex -> ('b, 'c, 'd) t -> SetV.t -> (unit, vertex) Ilist.t

val min : ('b, 'c, 'd) t -> SetV.t

val max : ('b, 'c, 'd) t -> SetV.t

val print : 
  (Format.formatter -> vertex -> unit) ->
  (Format.formatter -> 'b -> unit) ->
  (Format.formatter -> 'c -> unit) ->
  (Format.formatter -> 'd -> unit) ->
  Format.formatter ->
  ('b, 'c, 'd) t ->
  unit

val print_dot : 
  ?titlestyle:string ->
  ?vertexstyle:string ->
  ?edgestyle:string ->
  ?title:string ->
  (Format.formatter -> vertex -> unit) ->
  (Format.formatter -> vertex -> 'b -> unit) ->
  (Format.formatter -> (vertex * vertex) -> 'c -> unit) ->
  Format.formatter ->
  ('b, 'c, 'd) t ->
  unit

val repr : ('b, 'c, 'd) t -> (vertex, 'b, 'c, 'd) graph

val obj : (vertex, 'b, 'c, 'd) graph -> ('b, 'c, 'd) t