diff options
Diffstat (limited to 'subprojects/language-semantics/src/main/java/tools')
-rw-r--r-- | subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java | 4 |
1 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 41b4fcb0..06b8ad77 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 | |||
@@ -44,8 +44,8 @@ public class ModelInitializer { | |||
44 | var isEqualsRelation = relation == builtinSymbols.equals(); | 44 | var isEqualsRelation = relation == builtinSymbols.equals(); |
45 | var decisionTree = mergeAssertions(relationInfo, isEqualsRelation); | 45 | var decisionTree = mergeAssertions(relationInfo, isEqualsRelation); |
46 | var defaultValue = isEqualsRelation ? TruthValue.FALSE : TruthValue.UNKNOWN; | 46 | var defaultValue = isEqualsRelation ? TruthValue.FALSE : TruthValue.UNKNOWN; |
47 | relationTrace.put(relation, new Symbol<>(relationInfo.name(), relationInfo.arity(), TruthValue.class, defaultValue | 47 | relationTrace.put(relation, Symbol.of( |
48 | )); | 48 | relationInfo.name(), relationInfo.arity(), TruthValue.class, defaultValue)); |
49 | } | 49 | } |
50 | } | 50 | } |
51 | 51 | ||