Delta_format.Formatval _patch :
< clear_recover_orig_ast_flag : 'a
; clear_sort_unordered_flag : 'b
; set_recover_orig_ast_flag : 'a
; set_sort_unordered_flag : 'c
; verbose_flag : bool.. > ->
(< _gindex_table :
(Diffast_core.Delta_common.SB.node_data_t_shared as 'e)
Delta_common.node_t
array
; _initial_leftmost : 'e Delta_common.node_t -> 'e Delta_common.node_t
; _initial_leftmost_table : 'e Delta_common.node_t array
; _initial_size : int
; _register_gindexes : unit
; _set_gindex_table : 'e Delta_common.node_t array -> unit
; _set_initial_leftmost_table : 'e Delta_common.node_t array -> unit
; acc :
?from:'e Delta_common.node_t ->
Diffast_misc.Path.t ->
'e Delta_common.node_t
; acc_parent :
?ignore_ofs:bool ->
?from:'e Delta_common.node_t ->
Diffast_misc.Path.t ->
'e Delta_common.node_t Diffast_core.Delta_common.SB.Otree.acc_result
; add_to_bid_map :
Diffast_core.Delta_common.SB.BID.t ->
Diffast_core.Delta_common.SB.BID.t ->
unit
; add_to_bid_tbl : Diffast_core.Delta_common.SB.BID.t -> string -> unit
; add_to_def_bid_tbl :
Diffast_core.Delta_common.SB.BID.t ->
'e Delta_common.node_t ->
unit
; ancestor_nodes : 'e Delta_common.node_t -> 'e Delta_common.node_t list
; ancestors :
Diffast_core.Delta_common.SB.Otree.index ->
Diffast_core.Delta_common.SB.Otree.index list
; collapse_node : 'e Delta_common.node_t -> unit
; collapse_nodei : Diffast_core.Delta_common.SB.Otree.index -> unit
; collapse_nodes : ('e Delta_common.node_t -> bool) -> unit
; collapse_root : unit
; contract :
(Diffast_core.Delta_common.SB.Otree.index
* Diffast_core.Delta_common.SB.Otree.index list)
list ->
'e Delta_common.node_t list ->
unit
; contraction_candidates :
Diffast_core.Delta_common.SB.Otree.index list ->
Diffast_core.Delta_common.SB.Otree.index list ->
(Diffast_core.Delta_common.SB.Otree.index
* Diffast_core.Delta_common.SB.Otree.index list)
list
* 'e Delta_common.node_t list
* bool
; delete_node_by_gindex : Diffast_core.Delta_common.SB.Otree.GI.t -> unit
; digest : Diffast_misc.Xhash.t
; distance : 'e Delta_common.node_t -> 'e Delta_common.node_t -> int
; dump_subtree_for_delta_ch :
'e Delta_common.node_t ->
'e Delta_common.node_t list ->
Diffast_core.Delta_common.SB.Xchannel.out_channel ->
unit
; dump_xml_ch :
?initial:bool ->
?pre_tags:string ->
?post_tags:string ->
Diffast_misc.Xchannel.out_channel ->
unit
; equals : 'd -> bool
; expand : Diffast_core.Delta_common.SB.Otree.index list -> unit
; expand_all : 'e Delta_common.node_t -> bool
; expand_nodei : Diffast_core.Delta_common.SB.Otree.index -> unit
; expand_nodes : 'e Delta_common.node_t list -> unit
; expand_root : unit
; expand_uids : Diffast_misc.UID.t list -> unit
; extra_namespaces : (string * string) list
; fast_rev_scan_whole_initial : ('e Delta_common.node_t -> unit) -> unit
; fast_rev_scan_whole_initial_subtree :
'e Delta_common.node_t ->
('e Delta_common.node_t -> unit) ->
unit
; fast_scan_all : ('e Delta_common.node_t -> unit) -> unit
; fast_scan_initial_cluster :
('e Delta_common.node_t * 'e Delta_common.node_t list) ->
('e Delta_common.node_t -> unit) ->
unit
; fast_scan_whole_initial : ('e Delta_common.node_t -> unit) -> unit
; fast_scan_whole_initial_subtree :
'e Delta_common.node_t ->
('e Delta_common.node_t -> unit) ->
unit
; fast_size_of_initial_cluster :
('e Delta_common.node_t * 'e Delta_common.node_t list) ->
int
; fast_subtree_members : int -> int list
; fast_whole_initial_subtree_size : 'e Delta_common.node_t -> int
; find_def_for_bid :
Diffast_core.Delta_common.SB.BID.t ->
'e Delta_common.node_t
; find_mapped_bids :
Diffast_core.Delta_common.SB.BID.t ->
Diffast_core.Delta_common.SB.BID.t list
; find_name_for_bid : Diffast_core.Delta_common.SB.BID.t -> string
; flat_rate : float
; frontier_of_cluster :
Diffast_core.Delta_common.SB.Otree.index list ->
Diffast_core.Delta_common.SB.Otree.index list
; get : Diffast_core.Delta_common.SB.Otree.index -> 'e Delta_common.node_t
; get_all_leaves : 'e Delta_common.node_t list
; get_all_leavesi : Diffast_core.Delta_common.SB.Otree.index list
; get_digest :
'e Delta_common.node_t ->
Diffast_core.Delta_common.SB.Xhash.t
; get_leaves : 'e Delta_common.node_t -> 'e Delta_common.node_t list
; get_leavesi :
Diffast_core.Delta_common.SB.Otree.index ->
Diffast_core.Delta_common.SB.Otree.index list
; get_roots_of_forest :
Diffast_core.Delta_common.SB.Otree.index ->
Diffast_core.Delta_common.SB.Otree.index ->
Diffast_core.Delta_common.SB.Otree.index list
; get_units_to_be_notified : 'e Delta_common.node_t list
; get_whole_initial_leaves : 'e Delta_common.node_t list
; hash : Diffast_misc.Xhash.algo
; height : int
; ignored_regions : (int * int) list
; in_subtree_mutually :
'e Delta_common.node_t ->
'e Delta_common.node_t ->
bool
; init : unit
; initial_acc :
?from:'e Delta_common.node_t ->
Diffast_misc.Path.t ->
'e Delta_common.node_t
; initial_acc_parent :
?ignore_ofs:bool ->
?from:'e Delta_common.node_t ->
Diffast_misc.Path.t ->
'e Delta_common.node_t Diffast_core.Delta_common.SB.Otree.acc_result
; initial_ancestor_nodeposs :
'e Delta_common.node_t ->
('e Delta_common.node_t * int) list
; initial_ancestor_nodes :
'e Delta_common.node_t ->
'e Delta_common.node_t list
; initial_ancestors : Diffast_misc.UID.t -> Diffast_misc.UID.t list
; initial_leftmost : 'e Delta_common.node_t -> 'e Delta_common.node_t
; initial_size : int
; initial_subtree_digest :
'e Delta_common.node_t ->
Diffast_core.Delta_common.SB.Xhash.t
; initial_subtree_mem :
'e Delta_common.node_t ->
'e Delta_common.node_t ->
bool
; initial_subtree_to_rep : 'e Delta_common.node_t -> string
; initial_to_rep : string
; initial_to_string : string
; insert_cluster :
Diffast_misc.UID.t ->
int ->
('e Delta_common.node_t * ('e Delta_common.node_t * int) list) ->
unit
; is_flat : bool
; is_initial_ancestor :
'e Delta_common.node_t ->
'e Delta_common.node_t ->
bool
; is_leaf : Diffast_core.Delta_common.SB.Otree.index -> bool
; is_member : 'e Delta_common.node_t -> bool
; is_whole : bool
; iter_initial_ancestor_nodeposs :
'e Delta_common.node_t ->
('e Delta_common.node_t -> int -> unit) ->
unit
; iter_initial_ancestor_nodes :
'e Delta_common.node_t ->
('e Delta_common.node_t -> unit) ->
unit
; iter_initial_ancestors :
Diffast_misc.UID.t ->
(Diffast_misc.UID.t -> unit) ->
unit
; iter_whole_initial_leaves : ('e Delta_common.node_t -> unit) -> unit
; keynodes : int list
; leaves : Diffast_core.Delta_common.SB.Otree.index list
; left_siblings :
Diffast_core.Delta_common.SB.Otree.index ->
Diffast_core.Delta_common.SB.Otree.index list
; leftmost : int -> int
; make_subtree_copy :
?find_hook:('e Delta_common.node_t -> 'e Delta_common.node_t -> unit) ->
'e Delta_common.node_t ->
'd
; make_subtree_from_node : 'e Delta_common.node_t -> 'd
; make_subtree_from_path : Diffast_core.Delta_common.SB.Path.t -> 'd
; make_subtree_from_uid : Diffast_core.Delta_common.SB.UID.t -> 'd
; mem_gindex : Diffast_core.Delta_common.SB.Otree.GI.t -> bool
; mem_uid : Diffast_misc.UID.t -> bool
; mutate :
(Diffast_misc.UID.t,
'e Delta_common.node_t
Diffast_core.Delta_common.SB.Otree.cluster_mutation
list)
Hashtbl.t ->
'e Delta_common.node_t Diffast_misc.Xset.t
; nleaves : int
; node_table : 'e Delta_common.node_t array
; nth_gen :
Diffast_core.Delta_common.SB.Otree.index ->
int ->
'e Delta_common.node_t list
; parser_name : string
; preorder_reindex : unit
; preorder_scan_all : ('e Delta_common.node_t -> unit) -> unit
; preorder_scan_alli :
(Diffast_core.Delta_common.SB.Otree.index ->
'e Delta_common.node_t ->
unit) ->
unit
; preorder_scan_subtree :
'e Delta_common.node_t ->
('e Delta_common.node_t -> unit) ->
unit
; preorder_scan_subtreei :
'e Delta_common.node_t ->
(Diffast_core.Delta_common.SB.Otree.index ->
'e Delta_common.node_t ->
unit) ->
unit
; preorder_scan_whole_initial : ('e Delta_common.node_t -> unit) -> unit
; preorder_scan_whole_initial_subtree :
'e Delta_common.node_t ->
('e Delta_common.node_t -> unit) ->
unit
; print : unit
; prune : Diffast_core.Delta_common.SB.Otree.index list -> unit
; prune_cluster :
'e Delta_common.node_t ->
'e Delta_common.node_t list ->
unit
; prune_cluster_by_gindex :
Diffast_core.Delta_common.SB.Otree.GI.t ->
Diffast_core.Delta_common.SB.Otree.GI.t list ->
unit
; prune_cluster_by_uid :
Diffast_misc.UID.t ->
Diffast_misc.UID.t list ->
unit
; prune_initial_nodes : 'e Delta_common.node_t list -> unit
; prune_nodes : 'e Delta_common.node_t list -> unit
; prune_uids : Diffast_misc.UID.t list -> unit
; recover_all : unit
; recover_and_expand : 'e Delta_common.node_t -> bool
; recover_filtered : ('e Delta_common.node_t -> bool) -> unit
; recover_true_children : initial_only:bool -> unit -> 'f
; register_uid : Diffast_misc.UID.t -> 'e Delta_common.node_t -> unit
; reindex : unit
; rev_scan_whole_initial_subtree :
'e Delta_common.node_t ->
('e Delta_common.node_t -> unit) ->
unit
; right_siblings :
Diffast_core.Delta_common.SB.Otree.index ->
Diffast_core.Delta_common.SB.Otree.index list
; root : 'e Delta_common.node_t
; save_dot : string -> int list -> string -> unit
; save_in_xml :
?initial:bool ->
?comp:Diffast_core.Delta_common.SB.Otree.Comp.c ->
?add_ext:bool ->
?pre_tags:string ->
?post_tags:string ->
string ->
unit
; save_in_xml_gz :
?initial:bool ->
?add_ext:bool ->
?pre_tags:string ->
?post_tags:string ->
string ->
unit
; scan :
Diffast_core.Delta_common.SB.Otree.index ->
Diffast_core.Delta_common.SB.Otree.index ->
('e Delta_common.node_t -> unit) ->
unit
; scan_all : ('e Delta_common.node_t -> unit) -> unit
; scan_alli :
(Diffast_core.Delta_common.SB.Otree.index ->
'e Delta_common.node_t ->
unit) ->
unit
; scan_cluster :
('e Delta_common.node_t * 'e Delta_common.node_t list) ->
('e Delta_common.node_t -> unit) ->
unit
; scan_cluster_u :
(Diffast_misc.UID.t * Diffast_misc.UID.t list) ->
('e Delta_common.node_t -> unit) ->
unit
; scan_initial_cluster :
('e Delta_common.node_t * 'e Delta_common.node_t list) ->
('e Delta_common.node_t -> unit) ->
unit
; scan_initial_cluster_g :
(Diffast_core.Delta_common.SB.Otree.GI.t
* Diffast_core.Delta_common.SB.Otree.GI.t list) ->
('e Delta_common.node_t -> unit) ->
unit
; scan_initial_cluster_u :
(Diffast_misc.UID.t * Diffast_misc.UID.t list) ->
('e Delta_common.node_t -> unit) ->
unit
; scan_subtree :
'e Delta_common.node_t ->
('e Delta_common.node_t -> unit) ->
unit
; scan_subtreei :
'e Delta_common.node_t ->
(Diffast_core.Delta_common.SB.Otree.index ->
'e Delta_common.node_t ->
unit) ->
unit
; scan_whole_initial : ('e Delta_common.node_t -> unit) -> unit
; scan_whole_initial_subtree :
'e Delta_common.node_t ->
('e Delta_common.node_t -> unit) ->
unit
; scan_whole_subtree :
'e Delta_common.node_t ->
('e Delta_common.node_t -> unit) ->
unit
; search_node_by_gindex :
Diffast_core.Delta_common.SB.Otree.GI.t ->
'e Delta_common.node_t
; search_node_by_uid : Diffast_misc.UID.t -> 'e Delta_common.node_t
; set_digest_of_root : unit
; set_digests : ('e Delta_common.node_t -> bool) -> unit
; set_ignored_regions : (int * int) list -> unit
; set_source_path : string -> unit
; setup_apath : unit
; setup_gindex_table : unit
; setup_initial_children : unit
; setup_initial_leftmost_table : unit
; setup_initial_parent : unit
; setup_initial_size : unit
; setup_uid_table : unit
; size : int
; size_of_cluster :
('e Delta_common.node_t * 'e Delta_common.node_t list) ->
int
; size_of_cluster_u : (Diffast_misc.UID.t * Diffast_misc.UID.t list) -> int
; size_of_initial_cluster :
('e Delta_common.node_t * 'e Delta_common.node_t list) ->
int
; size_of_initial_cluster_u :
(Diffast_misc.UID.t * Diffast_misc.UID.t list) ->
int
; size_of_subtree : Diffast_core.Delta_common.SB.Otree.index -> int
; size_of_subtree_uid : Diffast_misc.UID.t -> int
; source_path : string
; subtree_members :
Diffast_core.Delta_common.SB.Otree.index ->
Diffast_core.Delta_common.SB.Otree.index list
; to_dot :
?mklab:('e Diffast_core.Delta_common.SB.Otree.node2 -> string) ->
int list ->
Buffer.t
; to_dot_initial :
?mklab:('e Diffast_core.Delta_common.SB.Otree.node2 -> string) ->
Diffast_core.Delta_common.SB.Otree.index list ->
Buffer.t
; to_rep : string
; to_rep_fast : string
; to_string : string
; to_string_fast : string
; unparse_ch :
?no_boxing:bool ->
?no_header:bool ->
?fail_on_error:bool ->
Diffast_core.Delta_common.SB.OutChannel.t ->
unit
; unregister_uid : Diffast_misc.UID.t -> unit
; update_leftmost_table : unit
; update_node_table : unit
; update_parent_links : unit
; update_pos : unit
; update_size : unit
; whole_initial_subtree_size : 'e Delta_common.node_t -> int.. > as 'd)
Delta_common.tree_t
Diffast_core.Delta_common.SB.tree_factory_t ->
?fail_on_error:bool ->
?reverse:bool ->
?normalized_delta:bool ->
Diffast_core.Delta_common.SB.Storage.file ->
Diffast_core.Delta_base.XML.node ->
bool ->
Diffast_core.Delta_common.SB.OutChannel.t ->
unitval patch :
< clear_recover_orig_ast_flag : 'a
; clear_sort_unordered_flag : 'b
; set_recover_orig_ast_flag : 'a
; set_sort_unordered_flag : 'c
; verbose_flag : bool.. > ->
(< _gindex_table :
(Diffast_core.Delta_common.SB.node_data_t_shared as 'e)
Delta_common.node_t
array
; _initial_leftmost : 'e Delta_common.node_t -> 'e Delta_common.node_t
; _initial_leftmost_table : 'e Delta_common.node_t array
; _initial_size : int
; _register_gindexes : unit
; _set_gindex_table : 'e Delta_common.node_t array -> unit
; _set_initial_leftmost_table : 'e Delta_common.node_t array -> unit
; acc :
?from:'e Delta_common.node_t ->
Diffast_misc.Path.t ->
'e Delta_common.node_t
; acc_parent :
?ignore_ofs:bool ->
?from:'e Delta_common.node_t ->
Diffast_misc.Path.t ->
'e Delta_common.node_t Diffast_core.Delta_common.SB.Otree.acc_result
; add_to_bid_map :
Diffast_core.Delta_common.SB.BID.t ->
Diffast_core.Delta_common.SB.BID.t ->
unit
; add_to_bid_tbl : Diffast_core.Delta_common.SB.BID.t -> string -> unit
; add_to_def_bid_tbl :
Diffast_core.Delta_common.SB.BID.t ->
'e Delta_common.node_t ->
unit
; ancestor_nodes : 'e Delta_common.node_t -> 'e Delta_common.node_t list
; ancestors :
Diffast_core.Delta_common.SB.Otree.index ->
Diffast_core.Delta_common.SB.Otree.index list
; collapse_node : 'e Delta_common.node_t -> unit
; collapse_nodei : Diffast_core.Delta_common.SB.Otree.index -> unit
; collapse_nodes : ('e Delta_common.node_t -> bool) -> unit
; collapse_root : unit
; contract :
(Diffast_core.Delta_common.SB.Otree.index
* Diffast_core.Delta_common.SB.Otree.index list)
list ->
'e Delta_common.node_t list ->
unit
; contraction_candidates :
Diffast_core.Delta_common.SB.Otree.index list ->
Diffast_core.Delta_common.SB.Otree.index list ->
(Diffast_core.Delta_common.SB.Otree.index
* Diffast_core.Delta_common.SB.Otree.index list)
list
* 'e Delta_common.node_t list
* bool
; delete_node_by_gindex : Diffast_core.Delta_common.SB.Otree.GI.t -> unit
; digest : Diffast_misc.Xhash.t
; distance : 'e Delta_common.node_t -> 'e Delta_common.node_t -> int
; dump_subtree_for_delta_ch :
'e Delta_common.node_t ->
'e Delta_common.node_t list ->
Diffast_core.Delta_common.SB.Xchannel.out_channel ->
unit
; dump_xml_ch :
?initial:bool ->
?pre_tags:string ->
?post_tags:string ->
Diffast_misc.Xchannel.out_channel ->
unit
; equals : 'd -> bool
; expand : Diffast_core.Delta_common.SB.Otree.index list -> unit
; expand_all : 'e Delta_common.node_t -> bool
; expand_nodei : Diffast_core.Delta_common.SB.Otree.index -> unit
; expand_nodes : 'e Delta_common.node_t list -> unit
; expand_root : unit
; expand_uids : Diffast_misc.UID.t list -> unit
; extra_namespaces : (string * string) list
; fast_rev_scan_whole_initial : ('e Delta_common.node_t -> unit) -> unit
; fast_rev_scan_whole_initial_subtree :
'e Delta_common.node_t ->
('e Delta_common.node_t -> unit) ->
unit
; fast_scan_all : ('e Delta_common.node_t -> unit) -> unit
; fast_scan_initial_cluster :
('e Delta_common.node_t * 'e Delta_common.node_t list) ->
('e Delta_common.node_t -> unit) ->
unit
; fast_scan_whole_initial : ('e Delta_common.node_t -> unit) -> unit
; fast_scan_whole_initial_subtree :
'e Delta_common.node_t ->
('e Delta_common.node_t -> unit) ->
unit
; fast_size_of_initial_cluster :
('e Delta_common.node_t * 'e Delta_common.node_t list) ->
int
; fast_subtree_members : int -> int list
; fast_whole_initial_subtree_size : 'e Delta_common.node_t -> int
; find_def_for_bid :
Diffast_core.Delta_common.SB.BID.t ->
'e Delta_common.node_t
; find_mapped_bids :
Diffast_core.Delta_common.SB.BID.t ->
Diffast_core.Delta_common.SB.BID.t list
; find_name_for_bid : Diffast_core.Delta_common.SB.BID.t -> string
; flat_rate : float
; frontier_of_cluster :
Diffast_core.Delta_common.SB.Otree.index list ->
Diffast_core.Delta_common.SB.Otree.index list
; get : Diffast_core.Delta_common.SB.Otree.index -> 'e Delta_common.node_t
; get_all_leaves : 'e Delta_common.node_t list
; get_all_leavesi : Diffast_core.Delta_common.SB.Otree.index list
; get_digest :
'e Delta_common.node_t ->
Diffast_core.Delta_common.SB.Xhash.t
; get_leaves : 'e Delta_common.node_t -> 'e Delta_common.node_t list
; get_leavesi :
Diffast_core.Delta_common.SB.Otree.index ->
Diffast_core.Delta_common.SB.Otree.index list
; get_roots_of_forest :
Diffast_core.Delta_common.SB.Otree.index ->
Diffast_core.Delta_common.SB.Otree.index ->
Diffast_core.Delta_common.SB.Otree.index list
; get_units_to_be_notified : 'e Delta_common.node_t list
; get_whole_initial_leaves : 'e Delta_common.node_t list
; hash : Diffast_misc.Xhash.algo
; height : int
; ignored_regions : (int * int) list
; in_subtree_mutually :
'e Delta_common.node_t ->
'e Delta_common.node_t ->
bool
; init : unit
; initial_acc :
?from:'e Delta_common.node_t ->
Diffast_misc.Path.t ->
'e Delta_common.node_t
; initial_acc_parent :
?ignore_ofs:bool ->
?from:'e Delta_common.node_t ->
Diffast_misc.Path.t ->
'e Delta_common.node_t Diffast_core.Delta_common.SB.Otree.acc_result
; initial_ancestor_nodeposs :
'e Delta_common.node_t ->
('e Delta_common.node_t * int) list
; initial_ancestor_nodes :
'e Delta_common.node_t ->
'e Delta_common.node_t list
; initial_ancestors : Diffast_misc.UID.t -> Diffast_misc.UID.t list
; initial_leftmost : 'e Delta_common.node_t -> 'e Delta_common.node_t
; initial_size : int
; initial_subtree_digest :
'e Delta_common.node_t ->
Diffast_core.Delta_common.SB.Xhash.t
; initial_subtree_mem :
'e Delta_common.node_t ->
'e Delta_common.node_t ->
bool
; initial_subtree_to_rep : 'e Delta_common.node_t -> string
; initial_to_rep : string
; initial_to_string : string
; insert_cluster :
Diffast_misc.UID.t ->
int ->
('e Delta_common.node_t * ('e Delta_common.node_t * int) list) ->
unit
; is_flat : bool
; is_initial_ancestor :
'e Delta_common.node_t ->
'e Delta_common.node_t ->
bool
; is_leaf : Diffast_core.Delta_common.SB.Otree.index -> bool
; is_member : 'e Delta_common.node_t -> bool
; is_whole : bool
; iter_initial_ancestor_nodeposs :
'e Delta_common.node_t ->
('e Delta_common.node_t -> int -> unit) ->
unit
; iter_initial_ancestor_nodes :
'e Delta_common.node_t ->
('e Delta_common.node_t -> unit) ->
unit
; iter_initial_ancestors :
Diffast_misc.UID.t ->
(Diffast_misc.UID.t -> unit) ->
unit
; iter_whole_initial_leaves : ('e Delta_common.node_t -> unit) -> unit
; keynodes : int list
; leaves : Diffast_core.Delta_common.SB.Otree.index list
; left_siblings :
Diffast_core.Delta_common.SB.Otree.index ->
Diffast_core.Delta_common.SB.Otree.index list
; leftmost : int -> int
; make_subtree_copy :
?find_hook:('e Delta_common.node_t -> 'e Delta_common.node_t -> unit) ->
'e Delta_common.node_t ->
'd
; make_subtree_from_node : 'e Delta_common.node_t -> 'd
; make_subtree_from_path : Diffast_core.Delta_common.SB.Path.t -> 'd
; make_subtree_from_uid : Diffast_core.Delta_common.SB.UID.t -> 'd
; mem_gindex : Diffast_core.Delta_common.SB.Otree.GI.t -> bool
; mem_uid : Diffast_misc.UID.t -> bool
; mutate :
(Diffast_misc.UID.t,
'e Delta_common.node_t
Diffast_core.Delta_common.SB.Otree.cluster_mutation
list)
Hashtbl.t ->
'e Delta_common.node_t Diffast_misc.Xset.t
; nleaves : int
; node_table : 'e Delta_common.node_t array
; nth_gen :
Diffast_core.Delta_common.SB.Otree.index ->
int ->
'e Delta_common.node_t list
; parser_name : string
; preorder_reindex : unit
; preorder_scan_all : ('e Delta_common.node_t -> unit) -> unit
; preorder_scan_alli :
(Diffast_core.Delta_common.SB.Otree.index ->
'e Delta_common.node_t ->
unit) ->
unit
; preorder_scan_subtree :
'e Delta_common.node_t ->
('e Delta_common.node_t -> unit) ->
unit
; preorder_scan_subtreei :
'e Delta_common.node_t ->
(Diffast_core.Delta_common.SB.Otree.index ->
'e Delta_common.node_t ->
unit) ->
unit
; preorder_scan_whole_initial : ('e Delta_common.node_t -> unit) -> unit
; preorder_scan_whole_initial_subtree :
'e Delta_common.node_t ->
('e Delta_common.node_t -> unit) ->
unit
; print : unit
; prune : Diffast_core.Delta_common.SB.Otree.index list -> unit
; prune_cluster :
'e Delta_common.node_t ->
'e Delta_common.node_t list ->
unit
; prune_cluster_by_gindex :
Diffast_core.Delta_common.SB.Otree.GI.t ->
Diffast_core.Delta_common.SB.Otree.GI.t list ->
unit
; prune_cluster_by_uid :
Diffast_misc.UID.t ->
Diffast_misc.UID.t list ->
unit
; prune_initial_nodes : 'e Delta_common.node_t list -> unit
; prune_nodes : 'e Delta_common.node_t list -> unit
; prune_uids : Diffast_misc.UID.t list -> unit
; recover_all : unit
; recover_and_expand : 'e Delta_common.node_t -> bool
; recover_filtered : ('e Delta_common.node_t -> bool) -> unit
; recover_true_children : initial_only:bool -> unit -> 'f
; register_uid : Diffast_misc.UID.t -> 'e Delta_common.node_t -> unit
; reindex : unit
; rev_scan_whole_initial_subtree :
'e Delta_common.node_t ->
('e Delta_common.node_t -> unit) ->
unit
; right_siblings :
Diffast_core.Delta_common.SB.Otree.index ->
Diffast_core.Delta_common.SB.Otree.index list
; root : 'e Delta_common.node_t
; save_dot : string -> int list -> string -> unit
; save_in_xml :
?initial:bool ->
?comp:Diffast_core.Delta_common.SB.Otree.Comp.c ->
?add_ext:bool ->
?pre_tags:string ->
?post_tags:string ->
string ->
unit
; save_in_xml_gz :
?initial:bool ->
?add_ext:bool ->
?pre_tags:string ->
?post_tags:string ->
string ->
unit
; scan :
Diffast_core.Delta_common.SB.Otree.index ->
Diffast_core.Delta_common.SB.Otree.index ->
('e Delta_common.node_t -> unit) ->
unit
; scan_all : ('e Delta_common.node_t -> unit) -> unit
; scan_alli :
(Diffast_core.Delta_common.SB.Otree.index ->
'e Delta_common.node_t ->
unit) ->
unit
; scan_cluster :
('e Delta_common.node_t * 'e Delta_common.node_t list) ->
('e Delta_common.node_t -> unit) ->
unit
; scan_cluster_u :
(Diffast_misc.UID.t * Diffast_misc.UID.t list) ->
('e Delta_common.node_t -> unit) ->
unit
; scan_initial_cluster :
('e Delta_common.node_t * 'e Delta_common.node_t list) ->
('e Delta_common.node_t -> unit) ->
unit
; scan_initial_cluster_g :
(Diffast_core.Delta_common.SB.Otree.GI.t
* Diffast_core.Delta_common.SB.Otree.GI.t list) ->
('e Delta_common.node_t -> unit) ->
unit
; scan_initial_cluster_u :
(Diffast_misc.UID.t * Diffast_misc.UID.t list) ->
('e Delta_common.node_t -> unit) ->
unit
; scan_subtree :
'e Delta_common.node_t ->
('e Delta_common.node_t -> unit) ->
unit
; scan_subtreei :
'e Delta_common.node_t ->
(Diffast_core.Delta_common.SB.Otree.index ->
'e Delta_common.node_t ->
unit) ->
unit
; scan_whole_initial : ('e Delta_common.node_t -> unit) -> unit
; scan_whole_initial_subtree :
'e Delta_common.node_t ->
('e Delta_common.node_t -> unit) ->
unit
; scan_whole_subtree :
'e Delta_common.node_t ->
('e Delta_common.node_t -> unit) ->
unit
; search_node_by_gindex :
Diffast_core.Delta_common.SB.Otree.GI.t ->
'e Delta_common.node_t
; search_node_by_uid : Diffast_misc.UID.t -> 'e Delta_common.node_t
; set_digest_of_root : unit
; set_digests : ('e Delta_common.node_t -> bool) -> unit
; set_ignored_regions : (int * int) list -> unit
; set_source_path : string -> unit
; setup_apath : unit
; setup_gindex_table : unit
; setup_initial_children : unit
; setup_initial_leftmost_table : unit
; setup_initial_parent : unit
; setup_initial_size : unit
; setup_uid_table : unit
; size : int
; size_of_cluster :
('e Delta_common.node_t * 'e Delta_common.node_t list) ->
int
; size_of_cluster_u : (Diffast_misc.UID.t * Diffast_misc.UID.t list) -> int
; size_of_initial_cluster :
('e Delta_common.node_t * 'e Delta_common.node_t list) ->
int
; size_of_initial_cluster_u :
(Diffast_misc.UID.t * Diffast_misc.UID.t list) ->
int
; size_of_subtree : Diffast_core.Delta_common.SB.Otree.index -> int
; size_of_subtree_uid : Diffast_misc.UID.t -> int
; source_path : string
; subtree_members :
Diffast_core.Delta_common.SB.Otree.index ->
Diffast_core.Delta_common.SB.Otree.index list
; to_dot :
?mklab:('e Diffast_core.Delta_common.SB.Otree.node2 -> string) ->
int list ->
Buffer.t
; to_dot_initial :
?mklab:('e Diffast_core.Delta_common.SB.Otree.node2 -> string) ->
Diffast_core.Delta_common.SB.Otree.index list ->
Buffer.t
; to_rep : string
; to_rep_fast : string
; to_string : string
; to_string_fast : string
; unparse_ch :
?no_boxing:bool ->
?no_header:bool ->
?fail_on_error:bool ->
Diffast_core.Delta_common.SB.OutChannel.t ->
unit
; unregister_uid : Diffast_misc.UID.t -> unit
; update_leftmost_table : unit
; update_node_table : unit
; update_parent_links : unit
; update_pos : unit
; update_size : unit
; whole_initial_subtree_size : 'e Delta_common.node_t -> int.. > as 'd)
Delta_common.tree_t
Delta_common.tree_t
Diffast_core.Delta_common.SB.tree_factory_t ->
?fail_on_error:bool ->
?reverse:bool ->
Diffast_core.Delta_common.SB.Storage.file ->
string ->
Diffast_core.Delta_common.SB.OutChannel.t ->
unit