package gxl-light

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
exception CompositeTypeExn
exception GXLRelendException
exception GXLElementTypeExn of string
exception GXLLengthExn of string
exception NotFound
exception GXLGraphException of string
type !'a mutable_at = {
  1. mutable v : 'a;
}
and mutable_uri = {
  1. mutable x_type : string;
  2. mutable uriv : string;
}
and mutable_type = {
}
type gxl_type =
  1. | GXLType of mutable_type
type gxl_atomic_value =
  1. | GXLInt of int mutable_at
  2. | GXLFloat of float mutable_at
  3. | GXLString of string mutable_at
  4. | GXLBool of bool mutable_at
  5. | GXLEnum of string mutable_at
type gxl_locator =
  1. | GXLLocator of mutable_uri
type gxl_composite_value =
  1. | GXLBag of m_comp
  2. | GXLTup of m_comp
  3. | GXLSet of m_comp
  4. | GXLSeq of m_comp
and m_comp = {
  1. mutable comp_v : gxl_value list;
}
and gxl_value =
  1. | GXLAtomicValue of gxl_atomic_value
  2. | GXLLocatorValue of gxl_locator
  3. | GXLCompositeValue of gxl_composite_value
type mutable_attr_t = {
  1. mutable id : string option;
  2. mutable name : string;
  3. mutable kind : string option;
}
and m_attr_val = {
  1. mutable attr_val : gxl_value;
}
and m_gxl_attr = {
  1. mutable children_attr : gxl_attr list;
}
and gxl_attr =
  1. | GXLAttr of m_attr_val * mutable_attr_t * m_gxl_attr
type edge_mode =
  1. | Directed
  2. | Undirected
  3. | DefaultDirected
  4. | DefaultUndirected
and relend_direction =
  1. | GXL_IN
  2. | GXL_OUT
  3. | GXL_NONE
type children = {
  1. mutable t : gxl_type option;
  2. mutable a : gxl_attr list;
  3. mutable g : gxl_typed_element list;
}
and node_children = {
  1. node_shared : children;
  2. mutable node_tentacles : gxl_attributed_element Stdlib.ref list;
}
and edge_children = {
  1. edge_shared : children;
  2. mutable edge_tentacles : gxl_attributed_element array;
}
and gxl_gxl = {
  1. mutable graphs : gxl_typed_element list;
}
and relend_attrs = {
  1. mutable relend_role : string option;
  2. mutable relend_direction : relend_direction;
  3. mutable relend_startorder : int option;
  4. mutable relend_endorder : int option;
}
and relend_children = {
  1. mutable relend_attrs : gxl_attr list;
  2. mutable relend_target : gxl_graph_element Stdlib.ref;
  3. mutable relend_local_connection : gxl_local_connection Stdlib.ref option;
}
and graph_children = {
  1. mutable graph_type : gxl_type option;
  2. mutable graph_attrs : gxl_attr list;
  3. mutable graph_element : gxl_graph_element list;
}
and graph_attrs = {
  1. mutable graph_id : string;
  2. mutable graph_role : string option;
  3. mutable graph_edgeids : bool option;
  4. mutable hyper_graph : bool option;
  5. mutable graph_edge_mode : edge_mode;
}
and node_attrs = {
  1. mutable node_id : string;
}
and edge_attrs = {
  1. mutable edge_id : string option;
  2. edge_fromorder : int option Stdlib.ref;
  3. edge_toorder : int option Stdlib.ref;
  4. mutable edge_isdirected : bool option;
}
and rel_children = {
  1. rel_shared : children;
  2. mutable rel_end : gxl_attributed_element list;
}
and rel_attrs = {
  1. mutable rel_id : string;
  2. mutable rel_isdirected : bool option;
}
and gxl_attributed_element =
  1. | GXLRelend of relend_children * relend_attrs
  2. | GXLTypedElement of gxl_typed_element
and gxl_typed_element =
  1. | GXLGraph of graph_children * graph_attrs
  2. | GXLGraphElement of gxl_graph_element
and gxl_graph_element =
  1. | GXLLocalConnection of gxl_local_connection
  2. | GXLNode of node_children * node_attrs
and gxl_local_connection =
  1. | GXLEdge of edge_children * edge_attrs
  2. | GXLRel of rel_children * rel_attrs
and gxl_element =
  1. | GXLValue of gxl_value
  2. | GXLGXL of gxl_gxl
  3. | GXLAttributedElement of gxl_attributed_element
val node_table : (string, gxl_graph_element) Stdlib.Hashtbl.t
val string_of_atomic_value : gxl_atomic_value -> string
val string_of_locator_value : gxl_locator -> string
val string_of_gxl_value : gxl_value -> string
val iter_composite_value : (gxl_value -> unit) -> gxl_composite_value -> unit
val insert_value : gxl_composite_value -> gxl_value -> unit
val get_composite_children : gxl_composite_value -> gxl_value list
val set_atomic_value : gxl_atomic_value -> string -> unit
val set_type : gxl_type -> ?kind:string -> ref:string -> unit
val get_type : gxl_type -> string * string
val set_locator : gxl_locator -> ?kind:string -> ref:string -> unit
val get_locator : gxl_locator -> string * string
val get_attr_value : attr:gxl_attr -> gxl_value
val set_attr_value : attr:gxl_attr -> gxl_value -> unit
val set_attr_kind : attr:gxl_attr -> string -> unit
val get_attr_kind : attr:gxl_attr -> string option
val set_attr_name : attr:gxl_attr -> string -> unit
val get_attr_name : attr:gxl_attr -> string
val set_attr_id : attr:gxl_attr -> string -> unit
val get_attr_id : attr:gxl_attr -> string option
val get_attr_children : attr:gxl_attr -> gxl_attr list
val set_attr_children : attr:gxl_attr -> gxl_attr list -> unit
val iter_gxl_attr : (gxl_attr -> unit) -> attr:gxl_attr -> unit
val eval_attr_list : (gxl_attr -> unit) -> gxl_attr list -> gxl_attr list
val get_local_connection_id : gxl_local_connection -> string
val get_graph_element_id : gxl_graph_element -> string
val get_typed_element_id : gxl_typed_element -> string
val get_attributed_element_id : gxl_attributed_element -> string
val get_id : gxl_element -> string
val set_local_connection_id : string -> gxl_local_connection -> unit
val set_graph_element_id : string -> gxl_graph_element -> unit
val set_typed_element_id : string -> gxl_typed_element -> unit
val set_attributed_element_id : string -> gxl_attributed_element -> unit
val set_id : string -> gxl_element -> unit
val get_local_connection_attr_list : gxl_local_connection -> gxl_attr list
val get_graph_element_attr_list : gxl_graph_element -> gxl_attr list
val get_typed_element_attr_list : gxl_typed_element -> gxl_attr list
val get_attributed_element_attr_list : gxl_attributed_element -> gxl_attr list
val get_attr_list : gxl_element -> gxl_attr list
val eval_l : gxl_attr list -> string -> gxl_value
val get_attr : gxl_element -> string -> gxl_value
val set_attr_list : gxl_attr list -> gxl_element -> unit
val eval_l_l : gxl_attr list -> string -> gxl_value -> unit
val set_attr : gxl_element -> string -> gxl_value -> unit
val gxl_element_get_type : gxl_element -> gxl_type option
val gxl_element_set_type : gxl_type option -> gxl_element -> unit
val get_role : gxl_attributed_element -> string option
val set_role : ?role:string option -> gxl_attributed_element -> unit
val get_allowed_hypergraphs : gxl_typed_element -> bool option
val set_allowed_hypergraphs : ?allowed_hypergraphs:bool option -> gxl_typed_element -> unit
val get_edge_ids : gxl_typed_element -> bool option
val set_edge_ids : ?edge_ids:bool option -> gxl_typed_element -> unit
val get_edge_modes : gxl_typed_element -> edge_mode
val set_edge_modes : ?edge_mode:edge_mode -> gxl_typed_element -> unit
val get_graph_element_list : gxl_typed_element -> gxl_graph_element list
val iter_graph_element : func:(gxl_graph_element -> unit) -> gxl_typed_element -> unit
val set_graph_element_list : gxl_graph_element list -> gxl_typed_element -> unit
val add_to_graph_element_list : gxl_graph_element -> gxl_typed_element -> unit
val gxl_relend_get_direction : gxl_attributed_element -> relend_direction
val gxl_relend_set_direction : relend_direction -> gxl_attributed_element -> unit
val gxl_relend_get_target : gxl_attributed_element -> gxl_graph_element
val gxl_relend_set_target : gxl_graph_element -> gxl_attributed_element -> unit
val gxl_relend_get_target_id : gxl_attributed_element -> string
val gxl_relend_get_local_connection : gxl_attributed_element -> gxl_local_connection
val gxl_relend_set_local_connection : gxl_local_connection -> gxl_attributed_element -> unit
val gxl_relend_get_target_incidence_order : gxl_attributed_element -> int option
val gxl_relend_set_target_incidence_order : int option -> gxl_attributed_element -> unit
val gxl_relend_get_rel_incidence_order : gxl_attributed_element -> int option
val gxl_relend_set_rel_incidence_order : int option -> gxl_attributed_element -> unit
val get_gxl_graph_element_graph_list : gxl_graph_element -> gxl_typed_element list
val set_gxl_graph_element_graph_list : gxl_typed_element list -> gxl_graph_element -> unit
val iter_gxl_graph_element_graph : func:(gxl_typed_element -> unit) -> gxl_graph_element -> unit
val get_connection_list : gxl_graph_element -> gxl_attributed_element Stdlib.ref list
val set_connection_list : gxl_attributed_element list -> gxl_graph_element -> unit
val add_to_connection_list : gxl_attributed_element -> gxl_graph_element -> unit
val iter_connection_list : func:(gxl_attributed_element Stdlib.ref -> unit) -> gxl_graph_element -> unit
val eval_edge_tentacles : relend_direction -> string -> gxl_attributed_element list -> gxl_graph_element
val get_edge_source : gxl_local_connection -> gxl_graph_element
val get_edge_target : gxl_local_connection -> gxl_graph_element
val get_source_tentacle : relend_direction -> string -> gxl_attributed_element list -> gxl_attributed_element
val set_edge_source : gxl_attributed_element -> gxl_local_connection -> unit
val set_edge_target : gxl_attributed_element -> gxl_local_connection -> unit
val get_source_incidence_order : gxl_local_connection -> int option
val set_source_incidence_order : int option -> gxl_local_connection -> unit
val get_target_incidence_order : gxl_local_connection -> int option
val set_target_incidence_order : int option -> gxl_local_connection -> unit
val get_gxl_gxl_graph_list : gxl_element -> gxl_typed_element list
val set_gxl_gxl_graph_list : gxl_typed_element list -> gxl_element -> unit
val add_to_gxl_gxl_graph_list : gxl_typed_element -> gxl_element -> unit
val iter_gxl_gxl_graphs : func:(gxl_typed_element -> unit) -> gxl_element -> unit
val gxl_atomic_value_to_xml : gxl_atomic_value -> Xml.xml
val gxl_type_to_xml : gxl_type -> Xml.xml
val gxl_locator_to_xml : gxl_locator -> Xml.xml
val gxl_rec_composite_value_to_xml : gxl_composite_value -> Xml.xml list
val get_element : gxl_value list -> Xml.xml list
val eval_composite : gxl_value list -> Xml.xml list Stdlib.ref -> unit
val gxl_composite_value_to_xml : gxl_composite_value -> Xml.xml
val gxl_value_to_xml : gxl_value -> Xml.xml
val gxl_attr_to_xml : gxl_attr -> Xml.xml
val eval_attr_to_xml : Xml.xml list Stdlib.ref -> gxl_attr list -> unit
val gxl_element_to_xml : gxl_element -> Xml.xml
val gxl_graph_element_to_xml : gxl_graph_element -> Xml.xml
val gxl_local_connection_to_xml : gxl_local_connection -> Xml.xml
val gxl_attributed_element_to_xml : gxl_attributed_element -> Xml.xml
val gxl_typed_element_to_xml : gxl_typed_element -> Xml.xml
val gxl_gxl_to_xml : gxl_gxl -> Xml.xml
val gxl_graph_to_xml : (graph_children * graph_attrs) -> Xml.xml
val gxl_node_to_xml : (node_children * node_attrs) -> Xml.xml
val gxl_relend_to_xml : (relend_children * relend_attrs) -> Xml.xml
val gxl_edge_to_xml : (edge_children * edge_attrs) -> Xml.xml
val gxl_rel_to_xml : (rel_children * rel_attrs) -> Xml.xml
val get_source_id : gxl_graph_element -> string
val get_target_id : gxl_graph_element -> string
val gxl_type_make : xlink_href:string -> gxl_type
val gxl_int_make : value:int -> gxl_atomic_value
val gxl_float_make : value:float -> gxl_atomic_value
val gxl_string_make : value:string -> gxl_atomic_value
val gxl_bool_make : value:bool -> gxl_atomic_value
val gxl_enum_make : value:string -> gxl_atomic_value
val gxl_locator_make : value:string -> gxl_locator
val gxl_atomic_value_make : value:gxl_atomic_value -> gxl_value
val gxl_composite_value_make : value:gxl_composite_value -> gxl_value
val gxl_locator_value_make : value:gxl_locator -> gxl_value
val gxl_bag_make : value:gxl_value list -> gxl_composite_value
val gxl_tup_make : value:gxl_value list -> gxl_composite_value
val gxl_set_make : value:gxl_value list -> gxl_composite_value
val gxl_seq_make : value:gxl_value list -> gxl_composite_value
val gxl_attr_make : attr_value:gxl_value -> ?attr_id:string option -> ?attr_kind:string option -> ?attr_children:gxl_attr list -> attr_name:string -> gxl_attr
val gxl_relend_make : ?role:string option -> ?startorder:int option -> ?endorder:int option -> ?direction:relend_direction -> ?attrs:gxl_attr list -> ?local_connection:gxl_local_connection Stdlib.ref option -> target:string -> gxl_attributed_element
val gxl_typed_element_make : value:gxl_typed_element -> gxl_attributed_element
val gxl_graph_element_make : value:gxl_graph_element -> gxl_typed_element
val gxl_graph_make : ?role:string option -> ?edgeids:bool option -> ?hypergraph:bool option -> ?edgemode:edge_mode -> ?gxl_type:gxl_type option -> ?attrs:gxl_attr list -> ?elements:gxl_graph_element list -> id:string -> gxl_typed_element
val gxl_local_connection_make : value:gxl_local_connection -> gxl_graph_element
val gxl_node_make : ?gxl_type:gxl_type option -> ?attrs:gxl_attr list -> ?graphs:gxl_typed_element list -> id:string -> gxl_graph_element
val gxl_edge_make : ?gxl_type:gxl_type option -> ?attrs:gxl_attr list -> ?graphs:gxl_typed_element list -> ?id:string option -> ?fromorder:int option -> ?toorder:int option -> ?isdirected:bool option -> from_node:string -> to_node:string -> gxl_local_connection
val gxl_rel_make : ?gxl_type:gxl_type option -> ?attrs:gxl_attr list -> ?graphs:gxl_typed_element list -> ?isdirected:bool option -> ?relends:gxl_attributed_element list -> id:string -> gxl_local_connection
val gxl_value_make : value:gxl_value -> gxl_element
val gxl_gxl_make : ?graphs:gxl_typed_element list -> xlink:string -> gxl_element
val gxl_attributed_element_make : value:gxl_attributed_element -> gxl_element