1 files changed, 30 insertions, 0 deletions

diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/model/representation/RelationRepresentation.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/model/representation/RelationRepresentation.java
new file mode 100644
index 00000000..60e43692
--- /dev/null
+++ b/model-data/src/main/java/org/eclipse/viatra/solver/data/model/representation/RelationRepresentation.java
@@ -0,0 +1,30 @@
+package org.eclipse.viatra.solver.data.model.representation;
+
+import org.eclipse.viatra.solver.data.model.Tuple;
+import org.eclipse.viatra.solver.data.model.TupleHashProvider;
+import org.eclipse.viatra.solver.data.model.symbols.Symbol;
+
+public class RelationRepresentation <D> extends DataRepresentation<Tuple,D> {
+        private final Symbol symbol;
+
+        public RelationRepresentation(Symbol symbol,Class<D> domain, D defaultValue) {
+                super(Tuple.class,TupleHashProvider.singleton(),domain,defaultValue);
+                this.symbol = symbol;
+        }
+        
+        @Override
+        public String getName() {
+                return symbol.getName();
+        }
+
+        public Symbol getSymbol() {
+                return symbol;
+        }
+        
+        @Override
+        public boolean isValidKey(Tuple key) {
+                return key.getSize() == symbol.getArity();
+        }
+
+
+}