diff options
author | Kristóf Marussy <kristof@marussy.com> | 2023-06-18 14:12:20 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2023-06-18 14:12:20 +0200 |
commit | 2069579ce57dbaf04bff610f8151409e25bf114a (patch) | |
tree | 1f64df9abe0cdf3b5f87de44fcf1d4815fed970e /subprojects/language-semantics/src | |
parent | fix: further Dnf tests and fixes (diff) | |
download | refinery-2069579ce57dbaf04bff610f8151409e25bf114a.tar.gz refinery-2069579ce57dbaf04bff610f8151409e25bf114a.tar.zst refinery-2069579ce57dbaf04bff610f8151409e25bf114a.zip |
refactor: clean up Symbol constructor
Shorthad syntax for the most commonly used symbol types.
Diffstat (limited to 'subprojects/language-semantics/src')
-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 | ||