package DAGaml

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
module M : sig ... end
type ident = AriUbdag.Make(M1.M).ident = {
  1. arity : int;
  2. index : int;
}
val unsafe_make_ident : int -> int -> ident
type next' = ident M.next'
type edge' = ident M.edge'
type node' = ident M.node'
type manager = AriUbdag.Make(M1.M).manager = {
  1. mutable man : GuaCaml.H2Array.t array;
}
val default_layer : int
val default_hsize : int
val layer_size : 'a -> 'b -> 'a
val makeman : int -> manager
val newman : unit -> manager
val getsize : manager -> int
val number_of_nodes : manager -> int
val dump_stats : manager -> string GuaCaml.Tree.tree
val getsize_edge : (M.edge * 'a) -> int
val getsize_edges : (M.edge * 'a) list -> int
val dump_estats : manager -> (M.edge * 'a) list -> string GuaCaml.Tree.tree
val string_of_ident : ident -> string
val ofBa_node' : int -> GuaCaml.BTools.BArray.t -> ident M.node'
val string_of_next' : (M.leaf, ident) GuaCaml.Tree.gnext -> string
val resize_above : manager -> int -> unit
val push : manager -> ident M.node' -> ident
val pull : manager -> ident -> ident M.node'
val dump : manager -> ident M.edge' list -> string GuaCaml.Tree.tree
val load : string GuaCaml.Tree.tree -> manager * ident M.edge' list
val tof_edge' : GuaCaml.Io.ToF.stream -> ident M.edge' -> unit
val true_height : manager -> int
val bw : ?destruct:bool -> manager -> GuaCaml.BTools.ToBStream.Channel.t -> edge' list -> unit
val combine_layerized_file : ?normalize:bool -> in_channel array -> out_channel -> unit
val to_barray : ?destruct:bool -> manager -> edge' list -> GuaCaml.BTools.BArray.t
val of_barray : GuaCaml.BTools.BArray.t -> manager * ident M.edge' list
val export : manager -> ((ident -> 'xnode) -> ident -> 'xnode) -> ((unit -> 'xnode) M.node' -> 'xnode) -> ident -> 'xnode
val traverse : manager -> edge' -> bool
val copy_into : manager -> manager -> edge' -> edge'
val copy_list_into : manager -> manager -> edge' list -> edge' list
val debug_print : manager -> unit
val reachable : ?clean:bool -> ?hr:bool -> manager -> edge' list -> unit
val collect : ?hr:bool -> manager -> edge' list -> unit
val compact : manager -> ?hr:bool -> ?normalize:bool -> edge' list -> edge' list
val keep_clean : ?hr:bool -> ?compactify:bool -> ?normalize:bool -> manager -> edge' list -> edge' list
type !'lk bw_next' = 'lk GuaCaml.BTools.bw -> 'lk M.next' GuaCaml.BTools.bw
type !'lk bw_node' = 'lk GuaCaml.BTools.bw -> 'lk M.node' GuaCaml.BTools.bw
type !'lk bw_edge' = 'lk GuaCaml.BTools.bw -> 'lk M.edge' GuaCaml.BTools.bw
module BW : sig ... end
val bw_node_list : ident bw_node' -> manager -> GuaCaml.BTools.ToBStream.Channel.t -> ident list -> unit
val bw_edge_list : ident bw_node' -> ident bw_edge' -> manager -> GuaCaml.BTools.ToBStream.Channel.t -> edge' list -> unit
type !'lk br_next' = 'lk GuaCaml.BTools.br -> 'lk M.next' GuaCaml.BTools.br
type !'lk br_node' = 'lk GuaCaml.BTools.br -> 'lk M.node' GuaCaml.BTools.br
type !'lk br_edge' = 'lk GuaCaml.BTools.br -> 'lk M.edge' GuaCaml.BTools.br
module BR : sig ... end
type !'lk bre_node' = 'lk M.edge' GuaCaml.BTools.br -> ('lk M.node' -> 'lk) -> 'lk M.edge' GuaCaml.BTools.br
type !'lk bre_edge' = 'lk M.edge' GuaCaml.BTools.br -> 'lk M.edge' GuaCaml.BTools.br
module BRE : sig ... end
val to_stree : manager -> GuaCaml.Tree.stree
module ToF : sig ... end
module OfF : sig ... end
OCaml

Innovation. Community. Security.