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/store-reasoning/src/main | |
| 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/store-reasoning/src/main')
2 files changed, 3 insertions, 3 deletions
diff --git a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/base/BaseDecisionTranslationUnit.java b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/base/BaseDecisionTranslationUnit.java index 405e58ac..a1e4b816 100644 --- a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/base/BaseDecisionTranslationUnit.java +++ b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/base/BaseDecisionTranslationUnit.java | |||
| @@ -29,7 +29,7 @@ public class BaseDecisionTranslationUnit extends TranslationUnit { | |||
| 29 | } | 29 | } |
| 30 | this.partialRelation = partialRelation; | 30 | this.partialRelation = partialRelation; |
| 31 | this.seed = seed; | 31 | this.seed = seed; |
| 32 | symbol = new Symbol<>(partialRelation.name(), partialRelation.arity(), TruthValue.class, TruthValue.UNKNOWN); | 32 | symbol = Symbol.of(partialRelation.name(), partialRelation.arity(), TruthValue.class, TruthValue.UNKNOWN); |
| 33 | } | 33 | } |
| 34 | 34 | ||
| 35 | public BaseDecisionTranslationUnit(PartialRelation partialRelation) { | 35 | public BaseDecisionTranslationUnit(PartialRelation partialRelation) { |
diff --git a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/typehierarchy/TypeHierarchyTranslationUnit.java b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/typehierarchy/TypeHierarchyTranslationUnit.java index e1aa2014..06e3c05f 100644 --- a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/typehierarchy/TypeHierarchyTranslationUnit.java +++ b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/typehierarchy/TypeHierarchyTranslationUnit.java | |||
| @@ -16,8 +16,8 @@ import java.util.List; | |||
| 16 | import java.util.Map; | 16 | import java.util.Map; |
| 17 | 17 | ||
| 18 | public class TypeHierarchyTranslationUnit extends TranslationUnit { | 18 | public class TypeHierarchyTranslationUnit extends TranslationUnit { |
| 19 | static final Symbol<InferredType> INFERRED_TYPE_SYMBOL = new Symbol<>("inferredType", 1, | 19 | static final Symbol<InferredType> INFERRED_TYPE_SYMBOL = Symbol.of( |
| 20 | InferredType.class, InferredType.UNTYPED); | 20 | "inferredType", 1, InferredType.class, InferredType.UNTYPED); |
| 21 | 21 | ||
| 22 | private final TypeAnalyzer typeAnalyzer; | 22 | private final TypeAnalyzer typeAnalyzer; |
| 23 | 23 | ||