Warning: session_start(): open(/var/lib/php/sessions/sess_4j1aoeptor67apea1esjhiaoo3, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51
Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
// returns pair(word, distance)
// or null when search step was not successful
static ItIt> levenClosestIC_iteratorWithNulls(LS list, S word) {
if (empty(list)) ret emptyItIt();
ret iff(new F0 {
int limit = Integer.MAX_VALUE-1;
int idx;
O get() {
if (limit == 0 || idx >= l(list)) ret endMarker();
S s = list.get(idx++);
int dist = leven_limitedIC(word, s, limit);
if (dist < limit) { limit = dist; ret s; }
null;
}
});
}