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