diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2024-05-31 19:22:00 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2024-05-31 19:22:00 +0200 |
| commit | 639baf934ed761f90b28d17813949d90cb5e1234 (patch) | |
| tree | caeb26af2e82635f013406be65d048e59a6c2a12 /subprojects | |
| 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')
| -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 | ||