On Mon, Sep 20, 2021 at 3:19 AM Mostowski Collapse <janbu...@fastmail.fm> wrote:
On the other hand if I would use the trigger
from Python, I possibly would need a double linked
list, to remove an element.
Here's another idea: Put weak references in the trail, but
don't bother with the scanning -- just skip over dead ones
during backtracking.
Seems to me you would be doing about the same amount of
work either way, just doing it at different times.
--
Greg
--
https://mail.python.org/mailman/listinfo/python-list