265 other.longest_run_of_spaces()) + 1 |
265 other.longest_run_of_spaces()) + 1 |
266 a = [] |
266 a = [] |
267 for ts in range(1, n + 1): |
267 for ts in range(1, n + 1): |
268 if self.indent_level(ts) != other.indent_level(ts): |
268 if self.indent_level(ts) != other.indent_level(ts): |
269 a.append((ts, |
269 a.append((ts, |
270 self.indent_level(ts), |
270 self.indent_level(ts), |
271 other.indent_level(ts))) |
271 other.indent_level(ts))) |
272 return a |
272 return a |
273 |
273 |
274 # Return True iff self.indent_level(t) < other.indent_level(t) |
274 # Return True iff self.indent_level(t) < other.indent_level(t) |
275 # for all t >= 1. |
275 # for all t >= 1. |
276 # The algorithm is due to Vincent Broman. |
276 # The algorithm is due to Vincent Broman. |
323 other.longest_run_of_spaces()) + 1 |
323 other.longest_run_of_spaces()) + 1 |
324 a = [] |
324 a = [] |
325 for ts in range(1, n + 1): |
325 for ts in range(1, n + 1): |
326 if self.indent_level(ts) >= other.indent_level(ts): |
326 if self.indent_level(ts) >= other.indent_level(ts): |
327 a.append((ts, |
327 a.append((ts, |
328 self.indent_level(ts), |
328 self.indent_level(ts), |
329 other.indent_level(ts))) |
329 other.indent_level(ts))) |
330 return a |
330 return a |
331 |
331 |
332 |
332 |
333 def format_witnesses(w): |
333 def format_witnesses(w): |
334 """ |
334 """ |