diff options
author | 2023-06-26 19:38:03 +0200 | |
---|---|---|
committer | 2023-06-29 02:23:01 +0200 | |
commit | c42d391998eca46704c8699c90efd3c357442fb0 (patch) | |
tree | a82e7dd884b010936470111ec1be3e5aea19a213 /subprojects/store-query-viatra/src | |
parent | feat: remove contradictory calls in Dnf builder (diff) | |
download | refinery-c42d391998eca46704c8699c90efd3c357442fb0.tar.gz refinery-c42d391998eca46704c8699c90efd3c357442fb0.tar.zst refinery-c42d391998eca46704c8699c90efd3c357442fb0.zip |
feat: Dnf lifting
Support for count and aggregation is still missing.
Diffstat (limited to 'subprojects/store-query-viatra/src')
-rw-r--r-- | subprojects/store-query-viatra/src/main/java/tools/refinery/store/query/viatra/internal/pquery/QueryWrapperFactory.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/subprojects/store-query-viatra/src/main/java/tools/refinery/store/query/viatra/internal/pquery/QueryWrapperFactory.java b/subprojects/store-query-viatra/src/main/java/tools/refinery/store/query/viatra/internal/pquery/QueryWrapperFactory.java index 2b7280f2..502813e1 100644 --- a/subprojects/store-query-viatra/src/main/java/tools/refinery/store/query/viatra/internal/pquery/QueryWrapperFactory.java +++ b/subprojects/store-query-viatra/src/main/java/tools/refinery/store/query/viatra/internal/pquery/QueryWrapperFactory.java | |||
@@ -33,7 +33,7 @@ class QueryWrapperFactory { | |||
33 | private final Dnf2PQuery dnf2PQuery; | 33 | private final Dnf2PQuery dnf2PQuery; |
34 | private final Map<AnySymbolView, SymbolViewWrapper> view2WrapperMap = new LinkedHashMap<>(); | 34 | private final Map<AnySymbolView, SymbolViewWrapper> view2WrapperMap = new LinkedHashMap<>(); |
35 | private final CycleDetectingMapper<RemappedConstraint, RawPQuery> wrapConstraint = new CycleDetectingMapper<>( | 35 | private final CycleDetectingMapper<RemappedConstraint, RawPQuery> wrapConstraint = new CycleDetectingMapper<>( |
36 | RemappedConstraint::toString, this::doWrapConstraint); | 36 | this::doWrapConstraint); |
37 | 37 | ||
38 | QueryWrapperFactory(Dnf2PQuery dnf2PQuery) { | 38 | QueryWrapperFactory(Dnf2PQuery dnf2PQuery) { |
39 | this.dnf2PQuery = dnf2PQuery; | 39 | this.dnf2PQuery = dnf2PQuery; |