diff options
author | 2024-05-31 19:22:00 +0200 | |
---|---|---|
committer | 2024-05-31 19:22:00 +0200 | |
commit | 639baf934ed761f90b28d17813949d90cb5e1234 (patch) | |
tree | caeb26af2e82635f013406be65d048e59a6c2a12 /subprojects/store-reasoning | |
parent | refactor(language): rule syntax (diff) | |
download | refinery-639baf934ed761f90b28d17813949d90cb5e1234.tar.gz refinery-639baf934ed761f90b28d17813949d90cb5e1234.tar.zst refinery-639baf934ed761f90b28d17813949d90cb5e1234.zip |
fix(reasoning): candidate rounding mode
Diffstat (limited to 'subprojects/store-reasoning')
-rw-r--r-- | subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/PartialRelationTranslator.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/PartialRelationTranslator.java b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/PartialRelationTranslator.java index 75fb3397..1c3f6a6d 100644 --- a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/PartialRelationTranslator.java +++ b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/PartialRelationTranslator.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 | */ |
@@ -290,7 +290,7 @@ public final class PartialRelationTranslator extends PartialSymbolTranslator<Tru | |||
290 | candidateMay = reasoningBuilder.lift(Modality.MAY, Concreteness.CANDIDATE, query); | 290 | candidateMay = reasoningBuilder.lift(Modality.MAY, Concreteness.CANDIDATE, query); |
291 | } | 291 | } |
292 | if (candidateMust == null) { | 292 | if (candidateMust == null) { |
293 | candidateMust = reasoningBuilder.lift(Modality.MAY, Concreteness.CANDIDATE, query); | 293 | candidateMust = reasoningBuilder.lift(Modality.MUST, Concreteness.CANDIDATE, query); |
294 | } | 294 | } |
295 | } | 295 | } |
296 | 296 | ||