package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
module M0 : sig ... end
module M1 : sig ... end
module G1 : sig ... end
module G0 = G1.G
module REMAN : sig ... end
module IMPORT : sig ... end
val to_stree : G0.manager -> G0.edge' list -> string GuaCaml.Tree.tree
val of_stree : ?man:G1.G.manager option -> string GuaCaml.Tree.tree -> G1.G.manager * IMPORT.MSig.xedge list
val to_file : G0.manager -> G0.edge' list -> string -> unit
val of_file : ?man:G1.G.manager option -> string -> G1.G.manager * IMPORT.MSig.xedge list
module TO_DOT : sig ... end
val stree_to_dot : string GuaCaml.Tree.tree -> string -> unit
val dotfile : TO_DOT.MSig.M.manager -> TO_DOT.MSig.M.edge' list -> string -> unit
module PEVAL : sig ... end
module AND : sig ... end
module XOR : sig ... end
type manager = {
  1. cons : G1.manager;
  2. peval : PEVAL.manager;
  3. and_ : AND.manager;
  4. xor_ : XOR.manager;
  5. solve_cons : G0.node' -> G0.edge';
  6. solve_peval : PEVAL.M.peval -> G0.edge' -> G0.edge';
  7. solve_and : G0.node' -> G0.edge';
  8. solve_xor : G0.node' -> G0.edge';
}
val get_cons : manager -> G1.manager
val push : manager -> G0.node' -> G0.edge'
val default_makeman_hsize : int
val makeman : ?cons:G1.G.manager option -> ?hsize:int -> unit -> manager
val newman : unit -> manager
val clear_caches : manager -> unit
module BW : sig ... end
module BR : sig ... end
val bw_node_list : G0.manager -> GuaCaml.BTools.ToBStream.Channel.t -> G0.ident list -> unit
val bw_edge_list : G0.manager -> GuaCaml.BTools.ToBStream.Channel.t -> G0.edge' list -> unit
val barray_of_edge_list : G0.manager -> G0.edge' list -> GuaCaml.BTools.BArray.t
val edge_list_of_barray : G0.manager -> GuaCaml.BTools.BArray.t -> G0.edge' list
module OOPS : sig ... end
module OOPS_GC : sig ... end
val stree_to_stats : string GuaCaml.Tree.tree -> string GuaCaml.Tree.tree list
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct