package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Model : 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 And : sig ... end
module Xor : sig ... end
type manager = {
  1. cons : G1.manager;
  2. and_ : And.manager;
  3. xor_ : Xor.manager;
  4. solve_cons : G0.node' -> G0.edge';
  5. solve_and : G0.node' -> G0.edge';
  6. 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