From 7c15c0e6e6a035458bdd89a939aacdf4a207e1cd Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Mon, 10 Apr 2023 19:18:29 +0200 Subject: refactor: rename RelationView to SymbolView * Add NodeFunctionView for symbols that hold function-like (single associated object for each key) relations as integer values for performance. --- .../typehierarchy/InferredMayTypeRelationView.java | 24 ---------------------- .../typehierarchy/InferredMayTypeView.java | 24 ++++++++++++++++++++++ .../InferredMustTypeRelationView.java | 24 ---------------------- .../typehierarchy/InferredMustTypeView.java | 24 ++++++++++++++++++++++ 4 files changed, 48 insertions(+), 48 deletions(-) delete mode 100644 subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/typehierarchy/InferredMayTypeRelationView.java create mode 100644 subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/typehierarchy/InferredMayTypeView.java delete mode 100644 subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/typehierarchy/InferredMustTypeRelationView.java create mode 100644 subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/typehierarchy/InferredMustTypeView.java (limited to 'subprojects/store-reasoning/src/main/java/tools') diff --git a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/typehierarchy/InferredMayTypeRelationView.java b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/typehierarchy/InferredMayTypeRelationView.java deleted file mode 100644 index aea0a4b9..00000000 --- a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/typehierarchy/InferredMayTypeRelationView.java +++ /dev/null @@ -1,24 +0,0 @@ -/* - * SPDX-FileCopyrightText: 2021-2023 The Refinery Authors - * - * SPDX-License-Identifier: EPL-2.0 - */ -package tools.refinery.store.reasoning.translator.typehierarchy; - -import tools.refinery.store.reasoning.representation.PartialRelation; -import tools.refinery.store.query.view.TuplePreservingRelationView; -import tools.refinery.store.tuple.Tuple; - -class InferredMayTypeRelationView extends TuplePreservingRelationView { - private final PartialRelation type; - - InferredMayTypeRelationView(PartialRelation type) { - super(TypeHierarchyTranslationUnit.INFERRED_TYPE_SYMBOL, "%s#may".formatted(type)); - this.type = type; - } - - @Override - public boolean filter(Tuple key, InferredType value) { - return value.mayConcreteTypes().contains(type); - } -} diff --git a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/typehierarchy/InferredMayTypeView.java b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/typehierarchy/InferredMayTypeView.java new file mode 100644 index 00000000..ce2d6ff3 --- /dev/null +++ b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/typehierarchy/InferredMayTypeView.java @@ -0,0 +1,24 @@ +/* + * SPDX-FileCopyrightText: 2021-2023 The Refinery Authors + * + * SPDX-License-Identifier: EPL-2.0 + */ +package tools.refinery.store.reasoning.translator.typehierarchy; + +import tools.refinery.store.reasoning.representation.PartialRelation; +import tools.refinery.store.query.view.TuplePreservingView; +import tools.refinery.store.tuple.Tuple; + +class InferredMayTypeView extends TuplePreservingView { + private final PartialRelation type; + + InferredMayTypeView(PartialRelation type) { + super(TypeHierarchyTranslationUnit.INFERRED_TYPE_SYMBOL, "%s#may".formatted(type)); + this.type = type; + } + + @Override + public boolean filter(Tuple key, InferredType value) { + return value.mayConcreteTypes().contains(type); + } +} diff --git a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/typehierarchy/InferredMustTypeRelationView.java b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/typehierarchy/InferredMustTypeRelationView.java deleted file mode 100644 index 6c995e3a..00000000 --- a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/typehierarchy/InferredMustTypeRelationView.java +++ /dev/null @@ -1,24 +0,0 @@ -/* - * SPDX-FileCopyrightText: 2021-2023 The Refinery Authors - * - * SPDX-License-Identifier: EPL-2.0 - */ -package tools.refinery.store.reasoning.translator.typehierarchy; - -import tools.refinery.store.reasoning.representation.PartialRelation; -import tools.refinery.store.query.view.TuplePreservingRelationView; -import tools.refinery.store.tuple.Tuple; - -class InferredMustTypeRelationView extends TuplePreservingRelationView { - private final PartialRelation type; - - InferredMustTypeRelationView(PartialRelation type) { - super(TypeHierarchyTranslationUnit.INFERRED_TYPE_SYMBOL, "%s#must".formatted(type)); - this.type = type; - } - - @Override - public boolean filter(Tuple key, InferredType value) { - return value.mustTypes().contains(type); - } -} diff --git a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/typehierarchy/InferredMustTypeView.java b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/typehierarchy/InferredMustTypeView.java new file mode 100644 index 00000000..beda1796 --- /dev/null +++ b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/typehierarchy/InferredMustTypeView.java @@ -0,0 +1,24 @@ +/* + * SPDX-FileCopyrightText: 2021-2023 The Refinery Authors + * + * SPDX-License-Identifier: EPL-2.0 + */ +package tools.refinery.store.reasoning.translator.typehierarchy; + +import tools.refinery.store.reasoning.representation.PartialRelation; +import tools.refinery.store.query.view.TuplePreservingView; +import tools.refinery.store.tuple.Tuple; + +class InferredMustTypeView extends TuplePreservingView { + private final PartialRelation type; + + InferredMustTypeView(PartialRelation type) { + super(TypeHierarchyTranslationUnit.INFERRED_TYPE_SYMBOL, "%s#must".formatted(type)); + this.type = type; + } + + @Override + public boolean filter(Tuple key, InferredType value) { + return value.mustTypes().contains(type); + } +} -- cgit v1.2.3-54-g00ecf