search

gaperez64 / acacia-bonsai

A minimal implementation of reactive synthesis via universal co-Buchi automata using antichains
GNU General Public License v3.0
4 stars 3 forks source link

Use vectors of lists in kdtree::build_recursive, adapt code accordingly #8

Closed gaperez64 closed 3 years ago

gaperez64 commented 3 years ago

https://github.com/gaperez64/acacia-bonsai/blob/4f5b414858fa2644b578cb39d35d28783c43bfd0/src/utils/kdtree.hh#L99

This is the line that will be faster

gaperez64 commented 3 years ago

I just pushed this @michaelcadilhac and it passes tests (though I see there is only one test for antichains now, namely for the vector implementation?) In any case, we can profile again later today. Plus, I'll explain the general algorithm to you then.