package diffast-core

  1. Overview
  2. Docs
val moveid_generator : Diffast_core.Moveid.generator
method moveid_generator : Diffast_core.Moveid.generator
val mutable viewer_flag : bool
val mutable check_flag : bool
val mutable dots_flag : bool
val mutable dist_flag : bool
val mutable group_relabels_flag : bool
val mutable lock_matches_flag : bool
val mutable lower_ee_flag : bool
val mutable multi_node_match_flag : bool
val mutable multiple_classification_flag : bool
val mutable no_enclave_elim_flag : bool
val mutable no_moves_flag : bool
val mutable no_glue_flag : bool
val mutable simple_glue_flag : bool
val mutable no_movrels_flag : bool
val mutable no_odd_relabel_elim_flag : bool
val mutable prematch_early_resolve_flag : bool
val mutable prematch_flag : bool
val mutable preprune_flag : bool
val mutable shrink_moves_flag : bool
val mutable trust_tree_matcher_flag : bool
val mutable use_adjacency_matches_flag : bool
val mutable no_unnamed_node_move_flag : bool
val mutable conservative_flag : bool
val mutable ignore_move_of_unordered_flag : bool
val mutable ignore_non_orig_relabel_flag : bool
val mutable rename_rectification_level : int
val mutable dump_size_threshold : int
val mutable conflicting_pairs_threshold : int
val mutable hard_tree_size_limit : int
val mutable mapped_neighbours_difference_threshold : float
val mutable match_algo_threshold : int
val mutable moderate_nchildren_threshold : int
val mutable movrel_ratio_threshold : float
val mutable movrel_stability_threshold : float
val mutable pp_anonymized_match_threshold : float
val mutable pp_relabel_criteria : float
val mutable prematch_cands_threshold : int
val mutable prematch_subtree_cands_threshold : int
val mutable preprune_threshold : int
val mutable prune_threshold : int
val mutable subtree_match_ratio_threshold : float
val mutable tree_size_limit1 : int
val mutable tree_size_limit2 : int
val mutable tree_size_limit_percent : int
val mutable tree_size_limit_percent_default : int
val mutable tree_size_threshold : int
val mutable subtree_match_threshold : int
method viewer_flag : bool
method set_viewer_flag : unit
method clear_viewer_flag : unit
method check_flag : bool
method set_check_flag : unit
method clear_check_flag : unit
method dots_flag : bool
method set_dots_flag : unit
method clear_dots_flag : unit
method dist_flag : bool
method set_dist_flag : unit
method clear_dist_flag : unit
method no_enclave_elim_flag : bool
method set_no_enclave_elim_flag : unit
method clear_no_enclave_elim_flag : unit
method no_odd_relabel_elim_flag : bool
method set_no_odd_relabel_elim_flag : unit
method clear_no_odd_relabel_elim_flag : unit
method rename_rectification_level : int
method set_rename_rectification_level : int -> unit
method no_moves_flag : bool
method set_no_moves_flag : unit
method clear_no_moves_flag : unit
method no_glue_flag : bool
method set_no_glue_flag : unit
method clear_no_glue_flag : unit
method simple_glue_flag : bool
method set_simple_glue_flag : unit
method clear_simple_glue_flag : unit
method group_relabels_flag : bool
method set_group_relabels_flag : unit
method clear_group_relabels_flag : unit
method no_movrels_flag : bool
method set_no_movrels_flag : unit
method clear_no_movrels_flag : unit
method prematch_flag : bool
method set_prematch_flag : unit
method clear_prematch_flag : unit
method prematch_early_resolve_flag : bool
method set_prematch_early_resolve_flag : unit
method clear_prematch_early_resolve_flag : unit
method preprune_flag : bool
method set_preprune_flag : unit
method clear_preprune_flag : unit
method multi_node_match_flag : bool
method set_multi_node_match_flag : unit
method clear_multi_node_match_flag : unit
method lower_ee_flag : bool
method set_lower_ee_flag : unit
method clear_lower_ee_flag : unit
method trust_tree_matcher_flag : bool
method set_trust_tree_matcher_flag : unit
method clear_trust_tree_matcher_flag : unit
method multiple_classification_flag : bool
method set_multiple_classification_flag : unit
method clear_multiple_classification_flag : unit
method lock_matches_flag : bool
method set_lock_matches_flag : unit
method clear_lock_matches_flag : unit
method shrink_moves_flag : bool
method set_shrink_moves_flag : unit
method clear_shrink_moves_flag : unit
method use_adjacency_matches_flag : bool
method set_use_adjacency_matches_flag : unit
method clear_use_adjacency_matches_flag : unit
method no_unnamed_node_move_flag : bool
method set_no_unnamed_node_move_flag : unit
method clear_no_unnamed_node_move_flag : unit
method conservative_flag : bool
method set_conservative_flag : unit
method clear_conservative_flag : unit
method ignore_move_of_unordered_flag : bool
method set_ignore_move_of_unordered_flag : unit
method clear_ignore_move_of_unordered_flag : unit
method ignore_non_orig_relabel_flag : bool
method set_ignore_non_orig_relabel_flag : unit
method clear_ignore_non_orig_relabel_flag : unit
method dump_size_threshold : int
method set_dump_size_threshold : int -> unit
method moderate_nchildren_threshold : int
method set_moderate_nchildren_threshold : int -> unit
method tree_size_threshold : int
method set_tree_size_threshold : int -> unit
method subtree_match_threshold : int
method set_subtree_match_threshold : int -> unit
method match_algo_threshold : int
method set_match_algo_threshold : int -> unit
method prematch_cands_threshold : int
method set_prematch_cands_threshold : int -> unit
method prematch_subtree_cands_threshold : int
method set_prematch_subtree_cands_threshold : int -> unit
method subtree_match_ratio_threshold : float
method set_subtree_match_ratio_threshold : float -> unit
method conflicting_pairs_threshold : int
method set_conflicting_pairs_threshold : int -> unit
method pp_relabel_criteria : float
method set_pp_relabel_criteria : float -> unit
method pp_anonymized_match_threshold : float
method set_pp_anonymized_match_threshold : float -> unit
method tree_size_limit1 : int
method set_tree_size_limit1 : int -> unit
method tree_size_limit2 : int
method set_tree_size_limit2 : int -> unit
method tree_size_limit_percent_default : int
method set_tree_size_limit_percent_default : int -> unit
method tree_size_limit_percent : int
method set_tree_size_limit_percent : int -> unit
method hard_tree_size_limit : int
method set_hard_tree_size_limit : int -> unit
method prune_threshold : int
method set_prune_threshold : int -> unit
method preprune_threshold : int
method set_preprune_threshold : int -> unit
method movrel_stability_threshold : float
method set_movrel_stability_threshold : float -> unit
method movrel_ratio_threshold : float
method set_movrel_ratio_threshold : float -> unit
method mapped_neighbours_difference_threshold : float
method set_mapped_neighbours_difference_threshold : float -> unit
OCaml

Innovation. Community. Security.