package diffast-core

  1. Overview
  2. Docs
package diffast-core
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Class type Spec.nmapping_t

method use_crossing_or_incompatible_matches_count_cache : bool
method clear_crossing_or_incompatible_matches_count_cache : unit
method crossing_or_incompatible_matches_count_cache_hit_count : int
method size_of_crossing_or_incompatible_matches_count_cache : int
method clear_starting_pairs_for_glueing : unit
method set_starting_pairs_for_glueing : (node_t * node_t) list -> unit
method add_starting_pairs_for_glueing : (node_t * node_t) list -> unit
method starting_pairs_for_glueing : (node_t * node_t) list
method is_locked_node : node_t -> bool
method lock_node : ?key:Diffast_core.Key.t -> node_t -> unit
method unlock_node : node_t -> unit
method key_of_locked_node : node_t -> Diffast_core.Key.t
method stable_pairs : (node_t, node_t) Hashtbl.t
method set_stable_pairs : (node_t, node_t) Hashtbl.t -> unit
method is_stable_pair : node_t -> node_t -> bool
method add_stable_pair : node_t -> node_t -> unit
method find_stable_pair : node_t -> node_t list
method iter_stable_pairs : (node_t -> node_t -> unit) -> unit
method set_blacklist1 : (node_t, bool) Hashtbl.t -> unit
method set_blacklist2 : (node_t, bool) Hashtbl.t -> unit
method size : int
method iter : (node_t -> node_t -> unit) -> unit
method iter_rev : (node_t -> node_t -> unit) -> unit
method iter_unsettled : (node_t -> node_t -> unit) -> unit
method iter_settled : (node_t -> node_t -> unit) -> unit
method iter_sorted : (node_t -> node_t -> int) -> (node_t -> node_t -> unit) -> unit
method iter_unsettled_sorted : (node_t -> node_t -> int) -> (node_t -> node_t -> unit) -> unit
method iter_settled_sorted : (node_t -> node_t -> int) -> (node_t -> node_t -> unit) -> unit
method find_unsettled : node_t -> node_t
method find_settled : node_t -> node_t
method find : node_t -> node_t
method inv_find : node_t -> node_t
method add_unsettled : node_t -> node_t -> unit
method add_settled : ?stable:bool -> node_t -> node_t -> unit
method add_settled_roots : node_t -> node_t -> unit
method is_settled_root_pair : node_t -> node_t -> bool
method iter_settled_roots : (node_t -> node_t -> unit) -> unit
method iter_settled_roots_sorted : (node_t -> node_t -> int) -> (node_t -> node_t -> unit) -> unit
method merge_no_override : 'self -> unit
method merge : 'self -> unit
method merge_checked : 'self -> unit
method mem : node_t -> bool
method mem_unsettled : node_t -> bool
method mem_settled : node_t -> bool
method remove : node_t -> node_t -> bool
method remove_settled : node_t -> node_t -> unit
method filter : (node_t -> node_t -> bool) -> unit
method promote : node_t -> node_t -> unit
method demote : node_t -> node_t -> unit
method to_list_unsettled : (node_t * node_t) list
method to_list_settled : (node_t * node_t) list
method to_list : (node_t * node_t) list
method cod : node_t list
method dom : node_t list
method cod_unsettled : node_t list
method dom_unsettled : node_t list
method cod_settled : node_t list
method dom_settled : node_t list
method has_settled_mapping : node_t -> node_t -> bool
method has_unsettled_mapping : node_t -> node_t -> bool
method has_mapping : node_t -> node_t -> bool
method to_string_gid : string
method to_string : string
method dump : string -> unit
method dump_with_info : ?comp:Compression.c -> string -> unit
method print_status : unit
method setup_rev_map : unit
method mem_dom : node_t -> bool
method mem_cod : node_t -> bool
method mem_dom_settled : node_t -> bool
method mem_cod_settled : node_t -> bool
method mem_dom_unsettled : node_t -> bool
method mem_cod_unsettled : node_t -> bool
method cleanup_ghost : unit
method count_p_mapping : (node_t -> node_t -> node_t -> node_t -> bool) -> node_t -> node_t -> int
method count_crossing_mapping : node_t -> node_t -> int
method count_crossing_matches : node_t -> node_t -> int
method count_crossing_or_incompatible_matches : node_t -> node_t -> int
method count_compatible_noncrossing_matches : node_t -> node_t -> int
method iter_p_mapping : (node_t -> node_t -> node_t -> node_t -> bool) -> node_t -> node_t -> (node_t -> node_t -> unit) -> unit
method iter_crossing_mapping : node_t -> node_t -> (node_t -> node_t -> unit) -> unit
method iter_crossing_mapping : node_t -> node_t -> (node_t -> node_t -> unit) -> unit
method iter_crossing_or_incompatible_mapping : node_t -> node_t -> (node_t -> node_t -> unit) -> unit
method setup_partitions : unit
method partition_nodes1 : node_t list -> node_t list array
method partition_nodes2 : node_t list -> node_t list array
method get_subtree_match_score : node_t -> node_t -> int