Searched refs:historicalOpCount (Results 1 – 1 of 1) sorted by relevance
6788 final int historicalOpCount = other.getDiscreteAccessCount(); in HistoricalOp() local6789 for (int i = 0; i < historicalOpCount; i++) { in HistoricalOp()6881 final int historicalOpCount = getDiscreteAccessCount(); in merge() local6884 while (i < otherHistoricalOpCount || j < historicalOpCount) { in merge()6887 } else if (j == historicalOpCount) { in merge()