diff options
author | 2023-09-07 23:08:51 +0200 | |
---|---|---|
committer | 2023-09-07 23:08:51 +0200 | |
commit | 8843df2228777a4b1e3e2dc268b19ece30419afe (patch) | |
tree | fd92eb07cca85775062a037be7dc050c83c3d9df /subprojects/viatra-runtime/src/main/java/tools | |
parent | fix(dse): best-first strategy (diff) | |
download | refinery-8843df2228777a4b1e3e2dc268b19ece30419afe.tar.gz refinery-8843df2228777a4b1e3e2dc268b19ece30419afe.tar.zst refinery-8843df2228777a4b1e3e2dc268b19ece30419afe.zip |
refactor(store): neighborhood optimization
* Use LinekdHashMap in delta-based stores to improve iteration performance
* Avoid allocating ObjectCodeImpl
Diffstat (limited to 'subprojects/viatra-runtime/src/main/java/tools')
0 files changed, 0 insertions, 0 deletions