diff options
Diffstat (limited to 'subprojects/language-semantics/src')
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 { | |||
163 | if (statement instanceof ClassDeclaration classDeclaration) { | 163 | if (statement instanceof ClassDeclaration classDeclaration) { |
164 | collectClassDeclarationSymbols(classDeclaration); | 164 | collectClassDeclarationSymbols(classDeclaration); |
165 | } else if (statement instanceof EnumDeclaration enumDeclaration) { | 165 | } else if (statement instanceof EnumDeclaration enumDeclaration) { |
166 | collectPartialRelation(enumDeclaration, 1, null, TruthValue.FALSE); | 166 | collectPartialRelation(enumDeclaration, 1, TruthValue.FALSE, TruthValue.FALSE); |
167 | } else if (statement instanceof PredicateDefinition predicateDefinition) { | 167 | } else if (statement instanceof PredicateDefinition predicateDefinition) { |
168 | collectPredicateDefinitionSymbol(predicateDefinition); | 168 | collectPredicateDefinitionSymbol(predicateDefinition); |
169 | } | 169 | } |
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<TruthValue> { | |||
41 | 41 | ||
42 | @Override | 42 | @Override |
43 | public TruthValue reducedValue() { | 43 | public TruthValue reducedValue() { |
44 | return root.getReducedValue().getTruthValue(); | 44 | return root.getOtherwiseReducedValue().getTruthValue(); |
45 | } | 45 | } |
46 | 46 | ||
47 | @Override | 47 | @Override |