Searched refs:EditOperation (Results 1 – 3 of 3) sorted by relevance
106 public EditOperation[] getTargetOperations() { in getTargetOperations()108 final EditOperation[] ops = new EditOperation[trgLen]; in getTargetOperations()120 ops[targetPos] = new EditOperation(editType, sourcePos); in getTargetOperations()126 ops[targetPos] = new EditOperation(editType, sourcePos); in getTargetOperations()134 public static final class EditOperation { class in LevenshteinDistance137 public EditOperation(int type, int position) { in EditOperation() method in LevenshteinDistance.EditOperation
19 import com.android.quicksearchbox.util.LevenshteinDistance.EditOperation;46 EditOperation[] ops = distance.getTargetOperations(); in verifyTargetOperations()
87 LevenshteinDistance.EditOperation[] ops = table.getTargetOperations(); in findMatches()