Searched defs:diffElement (Results 1 – 1 of 1) sorted by relevance
132 DifferenceElement diffElement = diffElements.get(diffIndex); in apply() local174 DifferenceElement diffElement = diffElements.get(diffIndex); in applyLeftOverDiffElements() local202 DifferenceElement diffElement = diffElements.get(index); in extractReshuffledDiffElements() local332 DifferenceElement diffElement = diffElements.get(i); in groupConsecutiveRemovedElements() local