~/jendhub

def init_band

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

import bend-edit-distance@0.2.2.0/src/Myers.bend as Myers
import Base

194def init_band(profiles: List<&2, Peq>, +length: Nat, +target_length: Nat,
195              maximum: Nat) -> Band:
196  # Called only after k >= target_length - length, with length <= target_length.
197  count = Nat.min(ceil_div(length, 32n),
198    ceil_div(1n+Nat.div(Nat.sub(maximum, Nat.sub(target_length, length)), 2n), 32n))
199  init_band.step(init_band_entries(count, profiles, 32))

Uses (10)

Used by (1)