package DAGaml

  1. Overview
  2. Docs
package DAGaml
Legend:
Library
Module
Module type
Parameter
Class
Class type
type leaf
type edge
type node
type eval
type tag
type !'t next' = (leaf, 't) GuaCaml.Tree.gnext
type !'t node' = node * 't next' * 't next'
type !'t edge' = edge * 't next'
type !'t edge'' = edge * 't node'
type !'t t_node = (unit, node, leaf, 't) GuaCaml.Utils.node
type !'t t_edge = edge * 't t_node
type !'t p_node = (edge, tag, leaf, eval option * 't) GuaCaml.Utils.node
type !'t p_edge = edge * 't p_node
type !'t pt_node = ('t p_node, 't t_node) GuaCaml.Utils.pt_node
type !'t pt_edge = edge * 't pt_node
val push : ('t -> 'i) -> tag -> 't edge' -> 't edge' -> 't pt_edge
val pull : ('t -> 'i) -> 't node' -> tag * 't edge' * 't edge'
val arity_leaf : leaf -> int
val arity_edge : edge -> int
val arity_node : node -> int
val edge_of_arity : int -> edge
val eval_node : eval -> 't node' -> 't pt_edge
val eval_edge : eval -> 't edge' -> 't pt_edge
val compose : edge -> 't edge' -> 't edge'
val dump_leaf : (leaf -> GuaCaml.Tree.stree) option
val load_leaf : (GuaCaml.Tree.stree -> 't edge') option
val dot_of_leaf : (leaf -> string) option
val dump_edge : (edge -> GuaCaml.Tree.stree) option
val load_edge : (GuaCaml.Tree.stree -> edge) option
val dot_of_edge : (edge -> string) option
val dump_node : (node -> GuaCaml.Tree.stree) option
val load_node : (GuaCaml.Tree.stree -> tag * edge * edge) option
val dot_of_node : (int -> node -> string) option
val dot_of_tag : (tag -> string) option