def band_attempt

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

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

import Base

385def band_attempt(target: String, profiles: List<&2, Peq>, +length: Nat,
386                 +target_length: Nat, +maximum: Nat, padding: Nat) -> Search:
387  myers_calc_edit_distance_nw(target, init_band(profiles, length, target_length, maximum),
388    length, target_length, maximum, padding, 0n, 0n)

Uses (7)

Used by (2)