On Tue, Oct 15, 2019 at 4:32 AM vitalije <[email protected]> wrote:

> Without any measurement I think that this can be further simplified and
> speed up. The all_positions_for_v builds and yields positions, which means
> it builds entire stacks of (v, index) pairs for each visited v node. And
> for marking dirty parents it doesn't need to build positions at all. The
> following is not tested but I believe it should work.
>

Thanks for this.  I'll look into it.

Edward

-- 
You received this message because you are subscribed to the Google Groups 
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/leo-editor/CAMF8tS3P7XKNHPKSzYqyGzfuuY5ymtJqYzoWuwVOWvJayjzaeA%40mail.gmail.com.

Reply via email to