1 files changed, 19 insertions, 0 deletions

diff --git a/subprojects/store-query/src/main/java/tools/refinery/store/query/view/RelationViewImplication.java b/subprojects/store-query/src/main/java/tools/refinery/store/query/view/RelationViewImplication.java
new file mode 100644
index 00000000..2ba1fcc4
--- /dev/null
+++ b/subprojects/store-query/src/main/java/tools/refinery/store/query/view/RelationViewImplication.java
@@ -0,0 +1,19 @@
+package tools.refinery.store.query.view;
+
+import java.util.List;
+
+public record RelationViewImplication(AnyRelationView implyingRelationView, AnyRelationView impliedRelationView,
+                                                                          List<Integer> impliedIndices) {
+        public RelationViewImplication {
+                if (impliedIndices.size() != impliedRelationView.arity()) {
+                        throw new IllegalArgumentException("Expected %d implied indices for %s, but %d are provided"
+                                        .formatted(impliedRelationView.arity(), impliedRelationView, impliedIndices.size()));
+                }
+                for (var index : impliedIndices) {
+                        if (impliedRelationView.invalidIndex(index)) {
+                                throw new IllegalArgumentException("%d is not a valid index for %s".formatted(index,
+                                                implyingRelationView));
+                        }
+                }
+        }
+}