Skip to content

Commit

Permalink
streamline suspendable repair
Browse files Browse the repository at this point in the history
  • Loading branch information
breandan committed Jan 19, 2025
1 parent a3790e4 commit 3a03536
Showing 1 changed file with 3 additions and 2 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -172,9 +172,10 @@ open class FSA constructor(open val Q: TSA, open val init: Set<Σᐩ>, open val
}

fun LED(
cfg: CFG, brokeToks: List<Σᐩ>,
cfg: CFG,
brokeToks: List<Σᐩ>,
upperBound: Int = 2 * MAX_RADIUS,
monoEditBounds: Pair<Int, Int> = vanillaS2PCFGWE.maxParsableFragmentB(brokeToks, pad = upperBound)
monoEditBounds: Pair<Int, Int> = cfg.maxParsableFragmentB(brokeToks, pad = upperBound)
): Int =
(1 until upperBound).firstOrNull {
FSA.nonemptyLevInt(brokeToks, cfg, it, makeLevFSA(brokeToks, it, monoEditBounds))
Expand Down

0 comments on commit 3a03536

Please sign in to comment.