~/jendhub

def reconstruct

bend-edit-distance@0.2.2.0 · src/Reconstruction.bend:226

import bend-edit-distance@0.2.2.0/src/Reconstruction.bend as Reconstruction
import Base
import bend-edit-distance@0.2.2.0/src/Sequence.bend as S
import bend-edit-distance@0.2.2.0/EdlibTypes.bend as E

226def reconstruct(+query: String, +target: String, pairs: List<&2, E.EqualityPair>) ->
227                  List<&2, E.Operation>:
228  +qn +tn = S.length(query) S.length(target)
229  reconstruct_order(query, target, qn, tn, pairs, small_matrix(qn, tn), Nat.is_ge(qn, tn))

Uses (8)

Used by (1)