gxl-light 1.0 (latest) · OCaml Package

exception CompositeTypeExn

exception GXLRelendException

exception GXLElementTypeExn of string

exception GXLLengthExn of string

exception NotFound

exception GXLGraphException of string

type !'a mutable_at = {

mutable v : 'a;

}

and mutable_uri = {

mutable x_type : string;
mutable uriv : string;

}

and mutable_type = {

mutable xlink_type : string;
mutable xlink_href : string;

}

type gxl_type =

| GXLType of mutable_type

type gxl_atomic_value =

| GXLInt of int mutable_at
| GXLFloat of float mutable_at
| GXLString of string mutable_at
| GXLBool of bool mutable_at
| GXLEnum of string mutable_at

type gxl_locator =

| GXLLocator of mutable_uri

type gxl_composite_value =

| GXLBag of m_comp
| GXLTup of m_comp
| GXLSet of m_comp
| GXLSeq of m_comp

and m_comp = {

mutable comp_v : gxl_value list;

}

and gxl_value =

| GXLAtomicValue of gxl_atomic_value
| GXLLocatorValue of gxl_locator
| GXLCompositeValue of gxl_composite_value

type mutable_attr_t = {

mutable id : string option;
mutable name : string;
mutable kind : string option;

}

and m_attr_val = {

mutable attr_val : gxl_value;

}

and m_gxl_attr = {

mutable children_attr : gxl_attr list;

}

and gxl_attr =

| GXLAttr of m_attr_val * mutable_attr_t * m_gxl_attr

type edge_mode =

| Directed
| Undirected
| DefaultDirected
| DefaultUndirected

and relend_direction =

| GXL_IN
| GXL_OUT
| GXL_NONE

type children = {

mutable t : gxl_type option;
mutable a : gxl_attr list;
mutable g : gxl_typed_element list;

}

and node_children = {

node_shared : children;
mutable node_tentacles : gxl_attributed_element ref list;

}

and edge_children = {

edge_shared : children;
mutable edge_tentacles : gxl_attributed_element array;

}

and gxl_gxl = {

mutable xlink : string;
mutable graphs : gxl_typed_element list;

}

and relend_attrs = {

mutable relend_role : string option;
mutable relend_direction : relend_direction;
mutable relend_startorder : int option;
mutable relend_endorder : int option;

}

and relend_children = {

mutable relend_attrs : gxl_attr list;
mutable relend_target : gxl_graph_element ref;
mutable relend_local_connection : gxl_local_connection ref option;

}

and graph_children = {

mutable graph_type : gxl_type option;
mutable graph_attrs : gxl_attr list;
mutable graph_element : gxl_graph_element list;

}

and graph_attrs = {

mutable graph_id : string;
mutable graph_role : string option;
mutable graph_edgeids : bool option;
mutable hyper_graph : bool option;
mutable graph_edge_mode : edge_mode;

}

and node_attrs = {

mutable node_id : string;

}

and edge_attrs = {

mutable edge_id : string option;
edge_fromorder : int option ref;
edge_toorder : int option ref;
mutable edge_isdirected : bool option;

}

and rel_children = {

rel_shared : children;
mutable rel_end : gxl_attributed_element list;

}

and rel_attrs = {

mutable rel_id : string;
mutable rel_isdirected : bool option;

}

and gxl_attributed_element =

| GXLRelend of relend_children * relend_attrs
| GXLTypedElement of gxl_typed_element

and gxl_typed_element =

| GXLGraph of graph_children * graph_attrs
| GXLGraphElement of gxl_graph_element

and gxl_graph_element =

| GXLLocalConnection of gxl_local_connection
| GXLNode of node_children * node_attrs

and gxl_local_connection =

| GXLEdge of edge_children * edge_attrs
| GXLRel of rel_children * rel_attrs

and gxl_element =

| GXLValue of gxl_value
| GXLGXL of gxl_gxl
| GXLAttributedElement of gxl_attributed_element

val node_table : (string, gxl_graph_element) 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 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 ref -> unit) ->
  gxl_graph_element ->
  unit

val eval_edge_tentacles : 
  relend_direction ->
  string ->
  gxl_attributed_element list ->
  gxl_graph_element

val eval_eval : 
  relend_direction ->
  gxl_attributed_element ->
  gxl_graph_element option

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 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 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 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

package gxl-light