4 files changed, 121 insertions, 0 deletions

diff --git a/store/src/main/java/org/eclipse/viatra/solver/data/model/representation/AuxilaryData.java b/store/src/main/java/org/eclipse/viatra/solver/data/model/representation/AuxilaryData.java
new file mode 100644
index 00000000..7fc79348
--- /dev/null
+++ b/store/src/main/java/org/eclipse/viatra/solver/data/model/representation/AuxilaryData.java
@@ -0,0 +1,22 @@
+package org.eclipse.viatra.solver.data.model.representation;
+
+import org.eclipse.viatra.solver.data.map.ContinousHashProvider;
+
+public class AuxilaryData<K,V> extends DataRepresentation<K, V> {
+        private final String name;
+
+        public AuxilaryData(String name, ContinousHashProvider<K> hashProvider, V defaultValue) {
+                super(hashProvider, defaultValue);
+                this.name = name;
+        }
+        
+        @Override
+        public String getName() {
+                return name;
+        }
+        
+        @Override
+        public boolean isValidKey(K key) {
+                return true;
+        }
+}
diff --git a/store/src/main/java/org/eclipse/viatra/solver/data/model/representation/DataRepresentation.java b/store/src/main/java/org/eclipse/viatra/solver/data/model/representation/DataRepresentation.java
new file mode 100644
index 00000000..fd48eb94
--- /dev/null
+++ b/store/src/main/java/org/eclipse/viatra/solver/data/model/representation/DataRepresentation.java
@@ -0,0 +1,24 @@
+package org.eclipse.viatra.solver.data.model.representation;
+
+import org.eclipse.viatra.solver.data.map.ContinousHashProvider;
+
+public abstract class DataRepresentation<K, V> {
+        protected final ContinousHashProvider<K> hashProvider;
+        protected final V defaultValue;
+
+        protected DataRepresentation(ContinousHashProvider<K> hashProvider,     V defaultValue) {
+                this.hashProvider = hashProvider;
+                this.defaultValue = defaultValue;
+        }
+        
+        public abstract String getName();
+        
+        public ContinousHashProvider<K> getHashProvider() {
+                return hashProvider;
+        }
+        public abstract boolean isValidKey(K key);
+
+        public V getDefaultValue() {
+                return defaultValue;
+        }
+}
diff --git a/store/src/main/java/org/eclipse/viatra/solver/data/model/representation/Relation.java b/store/src/main/java/org/eclipse/viatra/solver/data/model/representation/Relation.java
new file mode 100644
index 00000000..eafb5c56
--- /dev/null
+++ b/store/src/main/java/org/eclipse/viatra/solver/data/model/representation/Relation.java
@@ -0,0 +1,31 @@
+package org.eclipse.viatra.solver.data.model.representation;
+
+import org.eclipse.viatra.solver.data.model.Tuple;
+import org.eclipse.viatra.solver.data.model.TupleHashProvider;
+
+public class Relation<D> extends DataRepresentation<Tuple, D> {
+        private final String name;
+        private final int arity;
+
+        public Relation(String name, int arity, D defaultValue) {
+                super(TupleHashProvider.singleton(), defaultValue);
+                this.name = name;
+                this.arity = arity;
+        }
+
+        @Override
+        public String getName() {
+                return name;
+        }
+
+        public int getArity() {
+                return arity;
+        }
+
+        @Override
+        public boolean isValidKey(Tuple key) {
+                if(key == null) {
+                        return false;
+                } else return key.getSize() == getArity();
+        }
+}
diff --git a/store/src/main/java/org/eclipse/viatra/solver/data/model/representation/TruthValue.java b/store/src/main/java/org/eclipse/viatra/solver/data/model/representation/TruthValue.java
new file mode 100644
index 00000000..aeccde9e
--- /dev/null
+++ b/store/src/main/java/org/eclipse/viatra/solver/data/model/representation/TruthValue.java
@@ -0,0 +1,44 @@
+package org.eclipse.viatra.solver.data.model.representation;
+
+public class TruthValue {
+        public static final TruthValue True = new TruthValue("true");
+        public static final TruthValue False = new TruthValue("false");
+        public static final TruthValue Unknown = new TruthValue("unknown");
+        public static final TruthValue Error = new TruthValue("error");
+        
+        private final String name;
+        protected TruthValue(String name) {
+                this.name = name;
+        }
+        
+        public String getName() {
+                return name;
+        }
+        
+        public static TruthValue toTruthValue(boolean value) {
+                if(value) return True;
+                else return False;
+        }
+        public boolean isConsistent() {
+                return this != Error;
+        }
+        public boolean isComplete() {
+                return this != Unknown;
+        }
+        public boolean must() {
+                return this == True || this == Error;
+        }
+        public boolean may() {
+                return this == True || this == Unknown;
+        }
+        
+        public TruthValue not() {
+                if(this == True) {
+                        return False;
+                } else if(this == False) {
+                        return True;
+                } else {
+                        return this;
+                }
+        }
+}