diff options
author | 2021-10-25 00:59:12 +0200 | |
---|---|---|
committer | 2021-10-25 00:59:12 +0200 | |
commit | e9ba4ac61befc4460247d90aac1787fee76be089 (patch) | |
tree | 50bcc231aebb300b26506e01a084b7306b7d880c /store/src/main/java | |
parent | Small fixes in query transformation and view equivalence checking (diff) | |
download | refinery-e9ba4ac61befc4460247d90aac1787fee76be089.tar.gz refinery-e9ba4ac61befc4460247d90aac1787fee76be089.tar.zst refinery-e9ba4ac61befc4460247d90aac1787fee76be089.zip |
another undeterministic variable export
Diffstat (limited to 'store/src/main/java')
-rw-r--r-- | store/src/main/java/tools/refinery/store/query/internal/DNF2PQuery.java | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/store/src/main/java/tools/refinery/store/query/internal/DNF2PQuery.java b/store/src/main/java/tools/refinery/store/query/internal/DNF2PQuery.java index 5e408f59..c72e0234 100644 --- a/store/src/main/java/tools/refinery/store/query/internal/DNF2PQuery.java +++ b/store/src/main/java/tools/refinery/store/query/internal/DNF2PQuery.java | |||
@@ -54,10 +54,10 @@ public class DNF2PQuery { | |||
54 | for (DNFAnd clause : predicate.getClauses()) { | 54 | for (DNFAnd clause : predicate.getClauses()) { |
55 | PBody body = new PBody(query); | 55 | PBody body = new PBody(query); |
56 | List<ExportedParameter> symbolicParameters = new ArrayList<>(); | 56 | List<ExportedParameter> symbolicParameters = new ArrayList<>(); |
57 | parameters.forEach((variable, parameter) -> { | 57 | for(var param : predicate.getVariables()) { |
58 | PVariable pVar = body.getOrCreateVariableByName(variable.getName()); | 58 | PVariable pVar = body.getOrCreateVariableByName(param.getName()); |
59 | symbolicParameters.add(new ExportedParameter(body, pVar, parameter)); | 59 | symbolicParameters.add(new ExportedParameter(body, pVar, parameters.get(param))); |
60 | }); | 60 | } |
61 | body.setSymbolicParameters(symbolicParameters); | 61 | body.setSymbolicParameters(symbolicParameters); |
62 | query.addBody(body); | 62 | query.addBody(body); |
63 | for (DNFAtom constraint : clause.getConstraints()) { | 63 | for (DNFAtom constraint : clause.getConstraints()) { |