From 706eabd8dd58178d5019deb21cfea72ee96f55ee Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Mon, 21 Aug 2023 00:40:22 +0200 Subject: fix: predicate value translation --- .../java/tools/refinery/language/semantics/model/ModelInitializer.java | 2 +- .../tools/refinery/language/semantics/model/internal/DecisionTree.java | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java index 5ed65e04..82746aee 100644 --- a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java +++ b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java @@ -163,7 +163,7 @@ public class ModelInitializer { if (statement instanceof ClassDeclaration classDeclaration) { collectClassDeclarationSymbols(classDeclaration); } else if (statement instanceof EnumDeclaration enumDeclaration) { - collectPartialRelation(enumDeclaration, 1, null, TruthValue.FALSE); + collectPartialRelation(enumDeclaration, 1, TruthValue.FALSE, TruthValue.FALSE); } else if (statement instanceof PredicateDefinition predicateDefinition) { collectPredicateDefinitionSymbol(predicateDefinition); } diff --git a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/internal/DecisionTree.java b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/internal/DecisionTree.java index c5479859..32112e61 100644 --- a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/internal/DecisionTree.java +++ b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/internal/DecisionTree.java @@ -41,7 +41,7 @@ class DecisionTree implements MutableSeed { @Override public TruthValue reducedValue() { - return root.getReducedValue().getTruthValue(); + return root.getOtherwiseReducedValue().getTruthValue(); } @Override -- cgit v1.2.3-54-g00ecf