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 : string GuaCaml.Tree.tree -> G1.G.manager * IMPORT.MSig.xedge list
val to_file : G0.manager -> G0.edge' list -> string -> unit
val of_file : string -> G1.G.manager * IMPORT.MSig.xedge list
module TO_DOT_MODELE : sig ... end
module TO_DOT : sig ... end
val dotfile : TO_DOT.Model.M.manager -> TO_DOT.Model.M.edge' list -> string -> unit
module TO_NAX_MODELE : sig ... end
module TO_NAX : sig ... end
module RENAME_MODELE : sig ... end
module RENAME : sig ... end
module TO_CNF_MODELE : sig ... end
module TO_CNF : sig ... end
module TEVAL_MODELE : sig ... end
module TEVAL : sig ... end
module PEVAL_MODELE : sig ... end
module PEVAL : sig ... end
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