def semiglobal_endpoint

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

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

523def semiglobal_endpoint(entries: List<&2, BandEntry>, rest: List<&2, Peq>, padding: Nat,
524                         column: Nat, +best: A.Best) -> A.Best:
525  match entries rest:
526    case Nil{} _:
527      best
528    case _ Nil{}:
529      A.Best{old, _} = best
530      +score = U32.from_nat(band_last_score(entries, padding))
531      A.update_best(best, score, A.Location{E.Position{column}, 0n}, U32.cmp(score, old))
532    case _ _:
533      best