sig
  exception DotError of string
  class type ['vertex, 'edge, 'cluster] abstract_model =
    object
      method bounding_box : XDot.bounding_box
      method dst : 'edge -> 'vertex
      method find_edge : 'vertex -> 'vertex -> 'edge
      method get_cluster_layout : 'cluster -> XDot.cluster_layout
      method get_edge_layout : 'edge -> XDot.edge_layout
      method get_vertex_layout : 'vertex -> XDot.node_layout
      method iter_associated_vertex : ('vertex -> unit) -> 'vertex -> unit
      method iter_clusters : ('cluster -> unit) -> unit
      method iter_edges : ('vertex -> 'vertex -> unit) -> unit
      method iter_edges_e : ('edge -> unit) -> unit
      method iter_pred : ('vertex -> unit) -> 'vertex -> unit
      method iter_pred_e : ('edge -> unit) -> 'vertex -> unit
      method iter_succ : ('vertex -> unit) -> 'vertex -> unit
      method iter_succ_e : ('edge -> unit) -> 'vertex -> unit
      method iter_vertex : ('vertex -> unit) -> unit
      method mem_edge : 'vertex -> 'vertex -> bool
      method mem_edge_e : 'edge -> bool
      method mem_vertex : 'vertex -> bool
      method src : 'edge -> 'vertex
    end
  module Make :
    functor (G : Graph.Graphviz.GraphWithDotAttrs->
      sig
        type cluster = string
        exception Multiple_layouts of (G.E.t * XDot.edge_layout) list
        class model :
          XDot.Make(G).graph_layout ->
          G.t -> [G.V.t, G.E.t, DGraphModel.Make.cluster] abstract_model
        val from_graph :
          ?cmd:string -> ?tmp_name:string -> G.t -> DGraphModel.Make.model
      end
  module DotG :
    sig
      type t
      module V :
        sig
          type t
          val compare : t -> t -> int
          val hash : t -> int
          val equal : t -> t -> bool
          type label = XDot.node_layout
          val create : label -> t
          val label : t -> label
        end
      type vertex = V.t
      module E :
        sig
          type t
          val compare : t -> t -> int
          type vertex = vertex
          val src : t -> vertex
          val dst : t -> vertex
          type label = XDot.edge_layout
          val create : vertex -> label -> vertex -> t
          val label : t -> label
        end
      type edge = E.t
      val is_directed : bool
      val is_empty : t -> bool
      val nb_vertex : t -> int
      val nb_edges : t -> int
      val out_degree : t -> vertex -> int
      val in_degree : t -> vertex -> int
      val mem_vertex : t -> vertex -> bool
      val mem_edge : t -> vertex -> vertex -> bool
      val mem_edge_e : t -> edge -> bool
      val find_edge : t -> vertex -> vertex -> edge
      val find_all_edges : t -> vertex -> vertex -> edge list
      val succ : t -> vertex -> vertex list
      val pred : t -> vertex -> vertex list
      val succ_e : t -> vertex -> edge list
      val pred_e : t -> vertex -> edge list
      val iter_vertex : (vertex -> unit) -> t -> unit
      val fold_vertex : (vertex -> '-> 'a) -> t -> '-> 'a
      val iter_edges : (vertex -> vertex -> unit) -> t -> unit
      val fold_edges : (vertex -> vertex -> '-> 'a) -> t -> '-> 'a
      val iter_edges_e : (edge -> unit) -> t -> unit
      val fold_edges_e : (edge -> '-> 'a) -> t -> '-> 'a
      val map_vertex : (vertex -> vertex) -> t -> t
      val iter_succ : (vertex -> unit) -> t -> vertex -> unit
      val iter_pred : (vertex -> unit) -> t -> vertex -> unit
      val fold_succ : (vertex -> '-> 'a) -> t -> vertex -> '-> 'a
      val fold_pred : (vertex -> '-> 'a) -> t -> vertex -> '-> 'a
      val iter_succ_e : (edge -> unit) -> t -> vertex -> unit
      val fold_succ_e : (edge -> '-> 'a) -> t -> vertex -> '-> 'a
      val iter_pred_e : (edge -> unit) -> t -> vertex -> unit
      val fold_pred_e : (edge -> '-> 'a) -> t -> vertex -> '-> 'a
    end
  type cluster = string
  type dotg_model =
      (DGraphModel.DotG.vertex, DGraphModel.DotG.edge, DGraphModel.cluster)
      DGraphModel.abstract_model
  val read_dot : ?cmd:string -> string -> DGraphModel.dotg_model
  val read_xdot : string -> DGraphModel.dotg_model
end