diff options
Diffstat (limited to 'store/src/main')
-rw-r--r-- | store/src/main/java/tools/refinery/store/query/internal/DNF2PQuery.java | 6 |
1 files changed, 5 insertions, 1 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 7558424b..aa797cde 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 | |||
@@ -46,7 +46,11 @@ public class DNF2PQuery { | |||
46 | Map<Variable, PParameter> parameters = new HashMap<>(); | 46 | Map<Variable, PParameter> parameters = new HashMap<>(); |
47 | 47 | ||
48 | predicate.getVariables().forEach(variable -> parameters.put(variable, new PParameter(variable.getName()))); | 48 | predicate.getVariables().forEach(variable -> parameters.put(variable, new PParameter(variable.getName()))); |
49 | query.setParameter(new ArrayList<>(parameters.values())); | 49 | List<PParameter> parameterList = new ArrayList<>(); |
50 | for(var param : predicate.getVariables()) { | ||
51 | parameterList.add(parameters.get(param)); | ||
52 | } | ||
53 | query.setParameter(parameterList); | ||
50 | for (DNFAnd clause : predicate.getClauses()) { | 54 | for (DNFAnd clause : predicate.getClauses()) { |
51 | PBody body = new PBody(query); | 55 | PBody body = new PBody(query); |
52 | List<ExportedParameter> symbolicParameters = new ArrayList<>(); | 56 | List<ExportedParameter> symbolicParameters = new ArrayList<>(); |