package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type ident = Model.M.ident
module M : sig ... end
type next' = ident M.next'
type edge' = ident M.edge'
type node' = ident M.node'
type manager = Model.M.manager
val makeman : int -> manager
val newman : unit -> manager
val dump_stats : manager -> GuaCaml.Tree.stree
val push : manager -> node' -> ident
val pull : manager -> ident -> node'
val string_of_ident : ident -> string
val iob_ident : ident GuaCaml.BTools.iob
val string_of_next' : next' -> string
val iob_next' : next' GuaCaml.BTools.iob
val string_of_edge' : edge' -> string
val iob_edge' : edge' GuaCaml.BTools.iob
val o3b_edge' : edge' GuaCaml.BTools.IoB.b
val string_of_node' : node' -> string
val iob_node' : node' GuaCaml.BTools.iob
val o3b_node' : node' GuaCaml.BTools.IoB.b
val dump : manager -> edge' list -> GuaCaml.Tree.stree
val load : GuaCaml.Tree.stree -> manager * edge' list
val copy_into : manager -> manager -> edge' -> edge'
val copy_list_into : manager -> manager -> edge' list -> edge' list
val traverse : manager -> edge' -> bool
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
val bw_node_list : ident bw_node' -> manager -> ident list GuaCaml.BTools.bw
val bw_edge_list : ident bw_node' -> ident bw_edge' -> manager -> edge' list GuaCaml.BTools.bw
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
val br_node_list : ident br_node' -> manager -> ident list GuaCaml.BTools.br
val br_edge_list : ident br_node' -> ident br_edge' -> manager -> edge' list GuaCaml.BTools.br
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
val bre_node_list : ident bre_node' -> manager -> edge' list GuaCaml.BTools.br
val bre_edge_list : ident bre_node' -> ident bre_edge' -> manager -> edge' list GuaCaml.BTools.br
val export : manager -> ((ident -> 'res) -> ident -> 'res) -> ((unit -> 'res) M.node' -> 'res) -> ident -> 'res
val combine_layerized_file : ?normalize:bool -> in_channel array -> out_channel -> unit
module ToF : sig ... end
module OfF : sig ... end