1 files changed, 0 insertions, 60 deletions

diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/query/internal/RelationViewKey.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/query/internal/RelationViewKey.java
deleted file mode 100644
index bae0af45..00000000
--- a/model-data/src/main/java/org/eclipse/viatra/solver/data/query/internal/RelationViewKey.java
+++ /dev/null
@@ -1,60 +0,0 @@
-package org.eclipse.viatra.solver.data.query.internal;
-
-import java.util.Objects;
-import java.util.UUID;
-
-import org.eclipse.viatra.query.runtime.matchers.context.common.BaseInputKeyWrapper;
-import org.eclipse.viatra.solver.data.query.view.RelationView;
-
-public class RelationViewKey<D> extends BaseInputKeyWrapper<RelationView<D>>{
-        private final String uniqueName;
-        private final int arity;
-        
-        public RelationViewKey(RelationView<D> wrappedKey, int arity) {
-                super(wrappedKey);
-                this.uniqueName = wrappedKey.getRepresentation().getName() + "-"+UUID.randomUUID();
-                this.arity = arity;
-        }
-
-        @Override
-        public String getPrettyPrintableName() {
-                return wrappedKey.getRepresentation().getName();
-        }
-
-        @Override
-        public String getStringID() {
-                return uniqueName;
-        }
-
-        @Override
-        public int getArity() {
-                return arity;
-        }
-
-        @Override
-        public boolean isEnumerable() {
-                return true;
-        }
-
-        @Override
-        public int hashCode() {
-                final int prime = 31;
-                int result = super.hashCode();
-                result = prime * result + Objects.hash(uniqueName);
-                return result;
-        }
-
-        @Override
-        public boolean equals(Object obj) {
-                if (this == obj)
-                        return true;
-                if (!super.equals(obj))
-                        return false;
-                if (!(obj instanceof RelationViewKey))
-                        return false;
-                RelationViewKey<?> other = (RelationViewKey<?>) obj;
-                return Objects.equals(uniqueName, other.uniqueName);
-        }
-        
-        
-}