Previous  Up  Next

Module Odot_types


module Odot_types: sig .. end
Types

type graph_kind =
| Graph
| Digraph

type id =
| Simple_id of string
| Html_id of string
| Double_quoted_id of string 
type attr = id * id option

type compass_pt =
| N
| NE
| E
| SE
| S
| SW
| W
| NW 
type port = id * compass_pt option 
type node_id = id * port option

type edge_stmt_point =
| Edge_node_id of node_id
| Edge_subgraph of subgraph 
type edge_stmt = edge_stmt_point * edge_stmt_point list *
       attr list

type attr_stmt =
| Attr_graph of attr list
| Attr_node of attr list
| Attr_edge of attr list

type stmt =
| Stmt_node of node_id * attr list
| Stmt_equals of id * id
| Stmt_edge of edge_stmt
| Stmt_attr of attr_stmt
| Stmt_subgraph of subgraph

type subgraph = {
   mutable sub_id : id option;
   mutable sub_stmt_list : stmt list;
}
type graph = {
   mutable strict : bool;
   mutable kind : graph_kind;
   mutable id : id option;
   mutable stmt_list : stmt list;
}