Tree (ocamlgraph.Graph.DGraphTreeLayout.Make.Tree)

type t

module V : sig ... end

type vertex = V.t

module E : sig ... 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 -> 'a) -> t -> 'a -> 'a

val iter_edges : (vertex -> vertex -> unit) -> t -> unit

val fold_edges : (vertex -> vertex -> 'a -> 'a) -> t -> 'a -> 'a

val iter_edges_e : (edge -> unit) -> t -> unit

val fold_edges_e : (edge -> 'a -> 'a) -> t -> 'a -> '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 -> 'a) -> t -> vertex -> 'a -> 'a

val fold_pred : (vertex -> 'a -> 'a) -> t -> vertex -> 'a -> 'a

val iter_succ_e : (edge -> unit) -> t -> vertex -> unit

val fold_succ_e : (edge -> 'a -> 'a) -> t -> vertex -> 'a -> 'a

val iter_pred_e : (edge -> unit) -> t -> vertex -> unit

val fold_pred_e : (edge -> 'a -> 'a) -> t -> vertex -> 'a -> 'a

val graph_attributes : 
  t ->
  [ `Bgcolor of int
  | `BgcolorWithTransparency of int32
  | `Center of bool
  | `Comment of string
  | `Concentrate of bool
  | `Fontcolor of int
  | `Fontname of string
  | `Fontpath of string
  | `Fontsize of int
  | `HtmlLabel of string
  | `Label of string
  | `Layers of string list
  | `Margin of float
  | `Mclimit of float
  | `Nodesep of float
  | `Nslimit of int
  | `Nslimit1 of int
  | `OrderingOut
  | `Orientation of [ `Landscape | `Portrait ]
  | `Page of float * float
  | `Pagedir of [ `LeftToRight | `TopToBottom ]
  | `Quantum of float
  | `Rankdir of [ `BottomToTop | `LeftToRight | `RightToLeft | `TopToBottom ]
  | `Ranksep of float
  | `Ratio of [ `Auto | `Compress | `Fill | `Float of float ]
  | `Samplepoints of int
  | `Size of float * float
  | `Url of string ]
    list

val default_vertex_attributes : 
  t ->
  [ `Color of int
  | `ColorWithTransparency of int32
  | `Comment of string
  | `Distortion of float
  | `Fillcolor of int
  | `FillcolorWithTransparency of int32
  | `Fixedsize of bool
  | `Fontcolor of int
  | `Fontname of string
  | `Fontsize of int
  | `Height of float
  | `HtmlLabel of string
  | `Label of string
  | `Layer of string
  | `Orientation of float
  | `Penwidth of float
  | `Peripheries of int
  | `Regular of bool
  | `Shape of
    [ `Assembly
    | `Box
    | `Box3d
    | `Cds
    | `Circle
    | `Component
    | `Diamond
    | `Doublecircle
    | `Doubleoctagon
    | `Egg
    | `Ellipse
    | `Fivepoverhang
    | `Folder
    | `House
    | `Insulator
    | `Invhouse
    | `Invtrapezium
    | `Invtriangle
    | `Larrow
    | `Lpromoter
    | `Mcircle
    | `Mdiamond
    | `Msquare
    | `Note
    | `Noverhang
    | `Oval
    | `Parallelogram
    | `Plaintext
    | `Polygon of int * float
    | `Primersite
    | `Promoter
    | `Proteasesite
    | `Proteinstab
    | `Rarrow
    | `Record
    | `Restrictionsite
    | `Ribosite
    | `Rnastab
    | `Rpromoter
    | `Signature
    | `Star
    | `Tab
    | `Terminator
    | `Threepoverhang
    | `Trapezium
    | `Triangle
    | `Tripleoctagon
    | `Underline
    | `Utr ]
  | `Style of
    [ `Bold | `Dashed | `Dotted | `Filled | `Invis | `Rounded | `Solid ]
  | `Url of string
  | `Width of float
  | `Z of float ]
    list

val vertex_name : V.t -> string

val vertex_attributes : 
  V.t ->
  [ `Color of int
  | `ColorWithTransparency of int32
  | `Comment of string
  | `Distortion of float
  | `Fillcolor of int
  | `FillcolorWithTransparency of int32
  | `Fixedsize of bool
  | `Fontcolor of int
  | `Fontname of string
  | `Fontsize of int
  | `Height of float
  | `HtmlLabel of string
  | `Label of string
  | `Layer of string
  | `Orientation of float
  | `Penwidth of float
  | `Peripheries of int
  | `Regular of bool
  | `Shape of
    [ `Assembly
    | `Box
    | `Box3d
    | `Cds
    | `Circle
    | `Component
    | `Diamond
    | `Doublecircle
    | `Doubleoctagon
    | `Egg
    | `Ellipse
    | `Fivepoverhang
    | `Folder
    | `House
    | `Insulator
    | `Invhouse
    | `Invtrapezium
    | `Invtriangle
    | `Larrow
    | `Lpromoter
    | `Mcircle
    | `Mdiamond
    | `Msquare
    | `Note
    | `Noverhang
    | `Oval
    | `Parallelogram
    | `Plaintext
    | `Polygon of int * float
    | `Primersite
    | `Promoter
    | `Proteasesite
    | `Proteinstab
    | `Rarrow
    | `Record
    | `Restrictionsite
    | `Ribosite
    | `Rnastab
    | `Rpromoter
    | `Signature
    | `Star
    | `Tab
    | `Terminator
    | `Threepoverhang
    | `Trapezium
    | `Triangle
    | `Tripleoctagon
    | `Underline
    | `Utr ]
  | `Style of
    [ `Bold | `Dashed | `Dotted | `Filled | `Invis | `Rounded | `Solid ]
  | `Url of string
  | `Width of float
  | `Z of float ]
    list

val default_edge_attributes : 
  t ->
  [ `Arrowhead of
      [ `Dot | `Inv | `Invdot | `Invodot | `None | `Normal | `Odot | `Onormal ]
  | `Arrowsize of float
  | `Arrowtail of
    [ `Dot | `Inv | `Invdot | `Invodot | `None | `Normal | `Odot | `Onormal ]
  | `Color of int
  | `ColorWithTransparency of int32
  | `Comment of string
  | `Constraint of bool
  | `Decorate of bool
  | `Dir of [ `Back | `Both | `Forward | `None ]
  | `Fontcolor of int
  | `Fontname of string
  | `Fontsize of int
  | `Headlabel of string
  | `Headport of [ `E | `N | `NE | `NW | `S | `SE | `SW | `W ]
  | `Headurl of string
  | `HtmlLabel of string
  | `Label of string
  | `Labelangle of float
  | `Labeldistance of float
  | `Labelfloat of bool
  | `Labelfontcolor of int
  | `Labelfontname of string
  | `Labelfontsize of int
  | `Layer of string
  | `Minlen of int
  | `Penwidth of float
  | `Samehead of string
  | `Sametail of string
  | `Style of [ `Bold | `Dashed | `Dotted | `Invis | `Solid ]
  | `Taillabel of string
  | `Tailport of [ `E | `N | `NE | `NW | `S | `SE | `SW | `W ]
  | `Tailurl of string
  | `Weight of int ]
    list

val edge_attributes : 
  E.t ->
  [ `Arrowhead of
      [ `Dot | `Inv | `Invdot | `Invodot | `None | `Normal | `Odot | `Onormal ]
  | `Arrowsize of float
  | `Arrowtail of
    [ `Dot | `Inv | `Invdot | `Invodot | `None | `Normal | `Odot | `Onormal ]
  | `Color of int
  | `ColorWithTransparency of int32
  | `Comment of string
  | `Constraint of bool
  | `Decorate of bool
  | `Dir of [ `Back | `Both | `Forward | `None ]
  | `Fontcolor of int
  | `Fontname of string
  | `Fontsize of int
  | `Headlabel of string
  | `Headport of [ `E | `N | `NE | `NW | `S | `SE | `SW | `W ]
  | `Headurl of string
  | `HtmlLabel of string
  | `Label of string
  | `Labelangle of float
  | `Labeldistance of float
  | `Labelfloat of bool
  | `Labelfontcolor of int
  | `Labelfontname of string
  | `Labelfontsize of int
  | `Layer of string
  | `Minlen of int
  | `Penwidth of float
  | `Samehead of string
  | `Sametail of string
  | `Style of [ `Bold | `Dashed | `Dotted | `Invis | `Solid ]
  | `Taillabel of string
  | `Tailport of [ `E | `N | `NE | `NW | `S | `SE | `SW | `W ]
  | `Tailurl of string
  | `Weight of int ]
    list

val get_subgraph : V.t -> Graph__.Graphviz.DotAttributes.subgraph option