diff options
Diffstat (limited to 'subprojects/store-query/src/main/java/tools/refinery/store/query/dnf/DnfPostProcessor.java')
-rw-r--r-- | subprojects/store-query/src/main/java/tools/refinery/store/query/dnf/DnfPostProcessor.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/subprojects/store-query/src/main/java/tools/refinery/store/query/dnf/DnfPostProcessor.java b/subprojects/store-query/src/main/java/tools/refinery/store/query/dnf/DnfPostProcessor.java index 50236642..01344b59 100644 --- a/subprojects/store-query/src/main/java/tools/refinery/store/query/dnf/DnfPostProcessor.java +++ b/subprojects/store-query/src/main/java/tools/refinery/store/query/dnf/DnfPostProcessor.java | |||
@@ -1,5 +1,5 @@ | |||
1 | /* | 1 | /* |
2 | * SPDX-FileCopyrightText: 2023 The Refinery Authors <https://refinery.tools/> | 2 | * SPDX-FileCopyrightText: 2023-2024 The Refinery Authors <https://refinery.tools/> |
3 | * | 3 | * |
4 | * SPDX-License-Identifier: EPL-2.0 | 4 | * SPDX-License-Identifier: EPL-2.0 |
5 | */ | 5 | */ |
@@ -26,7 +26,7 @@ class DnfPostProcessor { | |||
26 | 26 | ||
27 | public List<DnfClause> postProcessClauses() { | 27 | public List<DnfClause> postProcessClauses() { |
28 | var parameterInfoMap = getParameterInfoMap(); | 28 | var parameterInfoMap = getParameterInfoMap(); |
29 | var postProcessedClauses = new LinkedHashSet<CanonicalClause>(clauses.size()); | 29 | var postProcessedClauses = LinkedHashSet.<CanonicalClause>newLinkedHashSet(clauses.size()); |
30 | int index = 0; | 30 | int index = 0; |
31 | for (var literals : clauses) { | 31 | for (var literals : clauses) { |
32 | var postProcessor = new ClausePostProcessor(parameterInfoMap, literals); | 32 | var postProcessor = new ClausePostProcessor(parameterInfoMap, literals); |