Searched refs:other_len (Results 1 – 1 of 1) sorted by relevance
413 $other_len = count($other_changed);424 * Furthermore, $j is always kept so that $j == $other_len or427 while ($j < $other_len && $other_changed[$j])431 USE_ASSERTS && assert($j < $other_len && ! $other_changed[$j]);434 while ($j < $other_len && $other_changed[$j])475 $corresponding = $j < $other_len ? $i : $len;490 USE_ASSERTS && assert($j < $other_len && ! $other_changed[$j]);492 if ($j < $other_len && $other_changed[$j]) {494 while ($j < $other_len && $other_changed[$j])