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 t = G1.manager
type f = G0.edge'
type manager = {
  1. cons : G1.manager;
  2. and_ : And.manager;
  3. xor_ : Xor.manager;
  4. mask_ : (bool list * G0.edge', G0.edge') GuaCaml.MemoTable.t;
  5. solve_cons : G0.node' -> G0.edge';
  6. solve_and : G0.node' -> G0.edge';
  7. solve_xor : G0.node' -> G0.edge';
  8. apply_mask : bool list -> G0.edge' -> G0.edge';
}
val get_cons : manager -> G1.manager
val get_mand : manager -> And.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
module TO_HR_MODELE : sig ... end
module TO_HR : sig ... end
val to_hr : TO_HR_MODELE.M.manager -> TO_HR_MODELE.M.edge' list -> out_channel -> int list
val stree_to_stats : string GuaCaml.Tree.tree -> string GuaCaml.Tree.tree list