#867 Use `relnextIntersection` and `relprevIntersection`
requested to merge wytseoortwijn/escet:867-use-relnextIntersection-and-relprevIntersection into develop
Closes #867 (closed). Best to review commit-by-commit.
I ran the CIF benchmark with these changes: benchmark.html
- Config 1:
develop
branch before #865 (closed) got merged (commit 1fbb8818). - Config 2:
develop
branch after #865 (closed) got merged (commit 002f962b). - Config 3:
develop
branch after #866 (closed) got merged (commit 8859c5f3). - Config 4: changed proposed in this PR.
Only the performance of 'multi_agent_formation' got slightly worse. I'm not sure why. But on average the performance improved from about 3x to about 3.4x faster.