253 other.longest_run_of_spaces()) + 1 |
253 other.longest_run_of_spaces()) + 1 |
254 a = [] |
254 a = [] |
255 for ts in range(1, n + 1): |
255 for ts in range(1, n + 1): |
256 if self.indent_level(ts) != other.indent_level(ts): |
256 if self.indent_level(ts) != other.indent_level(ts): |
257 a.append((ts, |
257 a.append((ts, |
258 self.indent_level(ts), |
258 self.indent_level(ts), |
259 other.indent_level(ts))) |
259 other.indent_level(ts))) |
260 return a |
260 return a |
261 |
261 |
262 # Return True iff self.indent_level(t) < other.indent_level(t) |
262 # Return True iff self.indent_level(t) < other.indent_level(t) |
263 # for all t >= 1. |
263 # for all t >= 1. |
264 # The algorithm is due to Vincent Broman. |
264 # The algorithm is due to Vincent Broman. |
311 other.longest_run_of_spaces()) + 1 |
311 other.longest_run_of_spaces()) + 1 |
312 a = [] |
312 a = [] |
313 for ts in range(1, n + 1): |
313 for ts in range(1, n + 1): |
314 if self.indent_level(ts) >= other.indent_level(ts): |
314 if self.indent_level(ts) >= other.indent_level(ts): |
315 a.append((ts, |
315 a.append((ts, |
316 self.indent_level(ts), |
316 self.indent_level(ts), |
317 other.indent_level(ts))) |
317 other.indent_level(ts))) |
318 return a |
318 return a |
319 |
319 |
320 |
320 |
321 def format_witnesses(w): |
321 def format_witnesses(w): |
322 """ |
322 """ |