def semiglobal_best

bend-edit-distance@0.2.2.0 · src/Myers.bend:572

import Base
import bend-edit-distance@0.2.2.0/EdlibTypes.bend as E
import bend-edit-distance@0.2.2.0/src/Alignment.bend as A

572def semiglobal_best(target: String, profiles: List<&2, Peq>, +length: Nat,
573                      +maximum: Nat, +mode: E.Mode) -> A.Best:
574  +count = ceil_div(length, 32n)
575  # Preserve pinned Edlib's 64-bit column-zero convention independently of
576  # this implementation's 32-bit padding (especially lengths 32 and 96).
577  best = semiglobal_initial_best(length, Nat.is_ne(Nat.mod(length, 64n), 0n))
578  myers_calc_edit_distance_semiglobal(target,
579    init_semiglobal_band(profiles, length, maximum), mode,
580    Nat.sub(Nat.mul(count, 32n), length), 0n, maximum, best)