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

type hedge

val vertex_dummy : vertex

val hedge_dummy : hedge

module SetV : sig ... end

module SetH : sig ... end

module HashV : sig ... end

module HashH : sig ... end

val stdcompare : (vertex, hedge) compare

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

val create : int -> 'c -> ('a, 'b, 'c) t

val clear : ('a, 'b, 'c) t -> unit

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

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

val size_hedge : ('a, 'b, 'c) t -> int

val size_edgevh : ('a, 'b, 'c) t -> int

val size_edgehv : ('a, 'b, 'c) t -> int

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

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

val attrhedge : ('a, 'b, 'c) t -> hedge -> 'b

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

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

val is_hedge : ('a, 'b, 'c) t -> hedge -> bool

val succhedge : ('a, 'b, 'c) t -> vertex -> SetH.t

val predhedge : ('a, 'b, 'c) t -> vertex -> SetH.t

val succvertex : ('a, 'b, 'c) t -> hedge -> vertex array

val predvertex : ('a, 'b, 'c) t -> hedge -> vertex array

val succ_vertex : ('a, 'b, 'c) t -> vertex -> SetV.t

val pred_vertex : ('a, 'b, 'c) t -> vertex -> SetV.t

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

val add_hedge : 
  ('a, 'b, 'c) t ->
  hedge ->
  'b ->
  pred:vertex array ->
  succ:vertex array ->
  unit

val replace_attrvertex : ('a, 'b, 'c) t -> vertex -> 'a -> unit

val replace_attrhedge : ('a, 'b, 'c) t -> hedge -> 'b -> unit

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

val remove_hedge : ('a, 'b, 'c) t -> hedge -> unit

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

val iter_hedge : 
  ('a, 'b, 'c) t ->
  (hedge -> 'b -> pred:vertex array -> succ:vertex array -> unit) ->
  unit

val fold_vertex : 
  ('a, 'b, 'c) t ->
  (vertex -> 'a -> pred:SetH.t -> succ:SetH.t -> 'g -> 'g) ->
  'g ->
  'g

val fold_hedge : 
  ('a, 'b, 'c) t ->
  (hedge -> 'b -> pred:vertex array -> succ:vertex array -> 'g -> 'g) ->
  'g ->
  'g

val map : 
  ('a, 'b, 'c) t ->
  (vertex -> 'a -> 'aa) ->
  (hedge -> 'b -> 'bb) ->
  ('c -> 'cc) ->
  ('aa, 'bb, 'cc) t

val copy : 
  (vertex -> 'a -> 'aa) ->
  (hedge -> 'b -> 'bb) ->
  ('c -> 'cc) ->
  ('a, 'b, 'c) t ->
  ('aa, 'bb, 'cc) t

val transpose : 
  (vertex -> 'a -> 'aa) ->
  (hedge -> 'b -> 'bb) ->
  ('c -> 'cc) ->
  ('a, 'b, 'c) t ->
  ('aa, 'bb, 'cc) t

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

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

val topological_sort : 
  ?priority:hedge priority ->
  ('a, 'b, 'c) t ->
  vertex ->
  vertex list

val topological_sort_multi : 
  ?priority:hedge priority ->
  ('a, 'b, 'c) t ->
  SetV.t ->
  vertex list

val reachable : 
  ?filter:(hedge -> bool) ->
  ('a, 'b, 'c) t ->
  vertex ->
  SetV.t * SetH.t

val reachable_multi : 
  ?filter:(hedge -> bool) ->
  ('a, 'b, 'c) t ->
  SetV.t ->
  SetV.t * SetH.t

val cfc : 
  ?priority:hedge priority ->
  ('a, 'b, 'c) t ->
  vertex ->
  vertex list list

val cfc_multi : 
  ?priority:hedge priority ->
  ('a, 'b, 'c) t ->
  SetV.t ->
  vertex list list

val scfc : 
  ?priority:hedge priority ->
  ('a, 'b, 'c) t ->
  vertex ->
  (unit, vertex) Ilist.t

val scfc_multi : 
  ?priority:hedge priority ->
  ('a, 'b, 'c) t ->
  SetV.t ->
  (unit, vertex) Ilist.t

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

val print_dot : 
  ?style:string ->
  ?titlestyle:string ->
  ?vertexstyle:string ->
  ?hedgestyle:string ->
  ?fvertexstyle:(vertex -> string) ->
  ?fhedgestyle:(hedge -> string) ->
  ?title:string ->
  (Format.formatter -> vertex -> unit) ->
  (Format.formatter -> hedge -> unit) ->
  (Format.formatter -> vertex -> 'a -> unit) ->
  (Format.formatter -> hedge -> 'b -> unit) ->
  Format.formatter ->
  ('a, 'b, 'c) t ->
  unit