diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2022-11-10 17:25:24 +0100 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2022-11-10 17:25:24 +0100 |
| commit | fbd2f59a86d8dbd54dae50ca3c3e27d0642d5806 (patch) | |
| tree | 8430a24c3cdfaf9f07035a56f584055f1e65e8e4 /subprojects/language-semantics | |
| parent | feat(web): backend URL configuration (diff) | |
| download | refinery-fbd2f59a86d8dbd54dae50ca3c3e27d0642d5806.tar.gz refinery-fbd2f59a86d8dbd54dae50ca3c3e27d0642d5806.tar.zst refinery-fbd2f59a86d8dbd54dae50ca3c3e27d0642d5806.zip | |
feat(store): DataRepresentation reflective type
Diffstat (limited to 'subprojects/language-semantics')
| -rw-r--r-- | subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java | 3 |
1 files changed, 2 insertions, 1 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 0378983c..233cc156 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 | |||
| @@ -39,7 +39,8 @@ public class ModelInitializer { | |||
| 39 | var isEqualsRelation = relation == builtinSymbols.equals(); | 39 | var isEqualsRelation = relation == builtinSymbols.equals(); |
| 40 | var decisionTree = mergeAssertions(relationInfo, isEqualsRelation); | 40 | var decisionTree = mergeAssertions(relationInfo, isEqualsRelation); |
| 41 | var defaultValue = isEqualsRelation ? TruthValue.FALSE : TruthValue.UNKNOWN; | 41 | var defaultValue = isEqualsRelation ? TruthValue.FALSE : TruthValue.UNKNOWN; |
| 42 | relationTrace.put(relation, new Relation<>(relationInfo.name(), relationInfo.arity(), defaultValue)); | 42 | relationTrace.put(relation, new Relation<>(relationInfo.name(), relationInfo.arity(), TruthValue.class, defaultValue |
| 43 | )); | ||
| 43 | } | 44 | } |
| 44 | } | 45 | } |
| 45 | 46 | ||