equal
deleted
inserted
replaced
181 # and we remove anything in `::X + X::` from undecided content |
181 # and we remove anything in `::X + X::` from undecided content |
182 pick = rand.choice(undecided) |
182 pick = rand.choice(undecided) |
183 selected.add(pick) |
183 selected.add(pick) |
184 undecided.remove(pick) |
184 undecided.remove(pick) |
185 |
185 |
186 ancestors = set(p for p in parents(pick) if p in undecided) |
186 ancestors = {p for p in parents(pick) if p in undecided} |
187 descendants = set(c for c in children(pick) if c in undecided) |
187 descendants = {c for c in children(pick) if c in undecided} |
188 |
188 |
189 while ancestors: |
189 while ancestors: |
190 current = ancestors.pop() |
190 current = ancestors.pop() |
191 undecided.remove(current) |
191 undecided.remove(current) |
192 for p in parents(current): |
192 for p in parents(current): |