1 files changed, 19 insertions, 0 deletions

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
new file mode 100644
index 00000000..975f627e
--- /dev/null
+++ b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/typehierarchy/InferredMustTypeRelationView.java
@@ -0,0 +1,19 @@
+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<InferredType> {
+        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);
+        }
+}