F (u.21fe76152fa42d30e114f4c8534efbe8.diffast-misc.0.3.6.doc.diffast-misc.Diffast

Parameters

module W : Weight.T

Signature

val minn_do : (W.t * (unit -> unit)) list -> W.t

val treedist : 
  ((< get : Otree.index -> < data : < equals : 'b -> bool.. >.. >
     ; leftmost : Otree.index -> Otree.index.. > as 'a) ->
    (< get : Otree.index -> < data : 'b.. >
      ; leftmost : Otree.index -> Otree.index.. > as 'c) ->
    Otree.index ->
    Otree.index ->
    W.t) ->
  (W.t * Effect.t list) array array ->
  'a ->
  'c ->
  Otree.index ->
  Otree.index ->
  W.t * Effect.t list

exception Subtree

val find_isomorphic_subtrees : 
  (W.t * 'a) array array ->
  < leftmost : int -> int.. > ->
  'b ->
  (int * int) list ->
  int list

val find : 
  ((< get : Otree.index -> < data : < equals : 'b -> bool.. >.. >
     ; keynodes : Otree.index list
     ; leftmost : Otree.index -> Otree.index
     ; size : int.. > as 'a) ->
    (< get : Otree.index -> < data : 'b.. >
      ; keynodes : Otree.index list
      ; leftmost : Otree.index -> Otree.index
      ; size : int.. > as 'c) ->
    int ->
    int ->
    W.t) ->
  'a ->
  'c ->
  Edit.seq * Mapping.elem list * Otree.index list