Searched refs:edit_index (Results 1 – 3 of 3) sorted by relevance
823 public int edit_index(int n) in edit_index() function
127 public int edit_index(int n);
1884 if (edit_index((int) number)) in commands()