module Df_struct: sig
.. end
exception Dferror of string
type
dfsink_kind =
| |
DFSerialize |
| |
DFControl |
type
dfpass_kind =
| |
DFOrdered of int |
| |
DFUnordered |
| |
DFMerge |
| |
DFImmediate |
type
dfnode_kind =
type
dfnode_id
type ('a, 'b)
dfnode
type ('a, 'b)
dfgraph = ('a, 'b) dfnode list * ('a, 'b) dfnode
val mkdfnode_dfsink : dfsink_kind -> 'a -> ('a, 'b) dfnode
val mkdfnode_dfpass : dfpass_kind -> 'a -> ('a, 'b) dfnode
val mkdfnode_dffork : 'a -> ('a, 'b) dfnode
val mkdfgraph_empty : unit -> ('a, 'b) dfgraph
val mkdfgraph_singleton : ('a, 'b) dfnode -> ('a, 'b) dfgraph
val get_dfnode_value : ('a, 'b) dfnode -> 'a
val get_dfnode_kind : ('a, 'b) dfnode -> dfnode_kind
val get_dfnode_id : ('a, 'b) dfnode -> dfnode_id
val is_dfsink : dfsink_kind -> ('a, 'b) dfnode -> bool
val is_dfpass : dfpass_kind -> ('a, 'b) dfnode -> bool
val is_dffork : ('a, 'b) dfnode -> bool
val affiliate_unary : ('a, 'b) dfnode -> unit
val affiliate_binary : ('a, 'b) dfnode -> ('a, 'b) dfnode -> unit
val affiliate_many : ('a, 'b) dfnode list -> unit
val get_affiliates : ('a, 'b) dfnode -> ('a, 'b) dfnode list
val terminate_unary : ('a, 'b) dfnode ->
('a, 'b) dfgraph -> ('a, 'b) dfgraph
val terminate_binary : ('a, 'b) dfnode ->
('a, 'b) dfgraph ->
('a, 'b) dfgraph -> ('a, 'b) dfgraph
val terminate_many : ('a, 'b) dfnode ->
('a, 'b) dfgraph list -> ('a, 'b) dfgraph
val merge_dfgraphs : ('a, 'b) dfgraph ->
('a, 'b) dfgraph -> ('a, 'b) dfgraph
val iter_dfs : (('a, 'b) dfnode -> 'b -> 'b) ->
'b -> ('a, 'b) dfgraph -> unit
val fold_left_dfs : ('a list -> ('b, 'a) dfnode -> 'c -> 'a) ->
(('b, 'a) dfnode -> 'c -> 'c) ->
'a -> 'c -> ('b, 'a) dfnode -> 'a
val find_all : (('a, 'b) dfnode -> bool) ->
('a, 'b) dfgraph -> ('a, 'b) dfnode list
val string_of_dfnode_id : dfnode_id -> string
val print_dot_dfgraph : Format.formatter -> ('a, 'b) dfgraph -> unit
val print_dot_clustered_dfgraph : Format.formatter -> ('a, 'b) dfgraph -> unit
val print_dot_dfgraph_custom : Format.formatter ->
(Format.formatter ->
dfnode_kind -> dfnode_id -> 'a -> unit) ->
('a, 'b) dfgraph -> unit