(*args, to=None)
| 614 | |
| 615 | def dis_(start, end): |
| 616 | def print_(*args, to=None): |
| 617 | if to is not None: |
| 618 | labels.add(to) |
| 619 | args += ('(to %d)' % (to,),) |
| 620 | print('%*d%s ' % (offset_width, start, ':' if start in labels else '.'), |
| 621 | end=' '*(level-1)) |
| 622 | print(*args) |
| 623 | |
| 624 | def print_2(*args): |
| 625 | print(end=' '*(offset_width + 2*level)) |
searching dependent graphs…