| changeset 13031 | 3da456d0c885 |
| parent 12950 | 2405b4a5964a |
| child 13239 | 12ed25f39d0b |
| 13030:8ea51e9e7031 | 13031:3da456d0c885 |
|---|---|
210 if node in self.map: |
210 if node in self.map: |
211 return node |
211 return node |
212 return None |
212 return None |
213 self.mapfind_count += 1 |
213 self.mapfind_count += 1 |
214 last = self.l - 1 |
214 last = self.l - 1 |
215 while self.index[last] != None: |
215 while self.index[last] is not None: |
216 if last == 0: |
216 if last == 0: |
217 self.all = 1 |
217 self.all = 1 |
218 self.allmap = 1 |
218 self.allmap = 1 |
219 return None |
219 return None |
220 last -= 1 |
220 last -= 1 |