diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2023-06-26 21:32:01 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2023-06-29 02:23:01 +0200 |
| commit | 60667ddcfa9faba3845bd73a9f632dfa447d669b (patch) | |
| tree | 96d0d7c4de8c3b6364b9203db2c1005368fde017 /subprojects/store-query-viatra/src/main/java | |
| parent | feat: Dnf lifting (diff) | |
| download | refinery-60667ddcfa9faba3845bd73a9f632dfa447d669b.tar.gz refinery-60667ddcfa9faba3845bd73a9f632dfa447d669b.tar.zst refinery-60667ddcfa9faba3845bd73a9f632dfa447d669b.zip | |
refactor: Dnf lifter
* Use method object pattern to simplify code.
* Optimize existential quantification in transitive queries.
Diffstat (limited to 'subprojects/store-query-viatra/src/main/java')
0 files changed, 0 insertions, 0 deletions