diff options
| author |  OszkarSemerath <semerath@mit.bme.hu> | 2021-10-25 00:59:12 +0200 |
|---|---|---|
| committer | OszkarSemerath <semerath@mit.bme.hu> | 2021-10-25 00:59:12 +0200 |
| commit | e9ba4ac61befc4460247d90aac1787fee76be089 (patch) | |
| tree | 50bcc231aebb300b26506e01a084b7306b7d880c /store/src/main | |
| 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')
| -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()) { |