Module Graph.XDot

type pos = float * float
type bounding_box = pos * pos
type node_layout = {
  1. n_name : string;
  2. n_pos : pos;
  3. n_bbox : bounding_box;
  4. n_draw : Graph__.XDotDraw.operation list;
  5. n_ldraw : Graph__.XDotDraw.operation list;
}
type cluster_layout = {
  1. c_pos : pos;
  2. c_bbox : bounding_box;
  3. c_draw : Graph__.XDotDraw.operation list;
  4. c_ldraw : Graph__.XDotDraw.operation list;
}
type edge_layout = {
  1. e_draw : Graph__.XDotDraw.operation list;
  2. e_ldraw : Graph__.XDotDraw.operation list;
  3. e_hdraw : Graph__.XDotDraw.operation list;
  4. e_tdraw : Graph__.XDotDraw.operation list;
  5. e_hldraw : Graph__.XDotDraw.operation list;
  6. e_tldraw : Graph__.XDotDraw.operation list;
}
val mk_node_layout : name:string -> pos:pos -> bbox:bounding_box -> draw:Graph__.XDotDraw.operation list -> ldraw:Graph__.XDotDraw.operation list -> node_layout
val mk_cluster_layout : pos:pos -> bbox:bounding_box -> draw:Graph__.XDotDraw.operation list -> ldraw:Graph__.XDotDraw.operation list -> cluster_layout
val mk_edge_layout : draw:Graph__.XDotDraw.operation list -> ldraw:Graph__.XDotDraw.operation list -> hdraw:Graph__.XDotDraw.operation list -> tdraw:Graph__.XDotDraw.operation list -> hldraw:Graph__.XDotDraw.operation list -> tldraw:Graph__.XDotDraw.operation list -> edge_layout
exception ParseError of string
module Make (G : sig ... end) : sig ... end
val bounding_box : (float * float) -> float -> float -> bounding_box
val read_bounding_box : string -> bounding_box
val read_node_layout : (Graph__.Dot_ast.id * Graph__.Dot_ast.port option) -> (Graph__.Dot_ast.id * Graph__.Dot_ast.id option) list list -> node_layout
val read_edge_layout : (Graph__.Dot_ast.id * Graph__.Dot_ast.id option) list list -> edge_layout
val read_cluster_layout : (Graph__.Dot_ast.id * Graph__.Dot_ast.id option) list list -> cluster_layout