Searched refs:otherHistoricalOpCount (Results 1 – 1 of 1) sorted by relevance
6880 final int otherHistoricalOpCount = other.getDiscreteAccessCount(); in merge() local6884 while (i < otherHistoricalOpCount || j < historicalOpCount) { in merge()6885 if (i == otherHistoricalOpCount) { in merge()