| commit | 10099c8bdd95ec1562df3d6a6efd520fc189b5a2 | [log] [tgz] |
|---|---|---|
| author | Paul Wankadia <junyer@google.com> | Wed Apr 06 09:22:53 2022 -0700 |
| committer | Paul Wankadia <junyer@google.com> | Fri Apr 08 13:31:10 2022 +0000 |
| tree | beae413b07f390fb666f23c3ff98fbd8ef735e20 | |
| parent | 0c5616df9c0aaa44c9440d87422012423d91c7d1 [diff] |
Prune `PrefilterTree` edges instead of nodes. Credit and gratitude to Daniel Keller for devising and refining the probability-based heuristics. Change-Id: Id99ffb0be27a2549f1ee0af1f7925027a3076127 Reviewed-on: https://code-review.googlesource.com/c/re2/+/60050 Reviewed-by: Perry Lorier <perryl@google.com> Reviewed-by: Paul Wankadia <junyer@google.com>