Representations

5 files changed, 107 insertions, 3 deletions

diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/model/representation/AuxilaryDataRepresentation.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/model/representation/AuxilaryDataRepresentation.java
new file mode 100644
index 00000000..c524ba37
--- /dev/null
+++ b/model-data/src/main/java/org/eclipse/viatra/solver/data/model/representation/AuxilaryDataRepresentation.java
@@ -0,0 +1,11 @@
+package org.eclipse.viatra.solver.data.model.representation;
+
+import org.eclipse.viatra.solver.data.map.ContinousHashProvider;
+
+public class AuxilaryDataRepresentation<K,V> extends DataRepresentation<K, V> {
+
+        public AuxilaryDataRepresentation(Class<K> keyClass, ContinousHashProvider<K> hashProvider, Class<V> valueClass,
+                        V defaultValue) {
+                super(keyClass, hashProvider, valueClass, defaultValue);
+        }
+}
diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/model/representation/DataRepresentation.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/model/representation/DataRepresentation.java
new file mode 100644
index 00000000..41205c83
--- /dev/null
+++ b/model-data/src/main/java/org/eclipse/viatra/solver/data/model/representation/DataRepresentation.java
@@ -0,0 +1,34 @@
+package org.eclipse.viatra.solver.data.model.representation;
+
+import org.eclipse.viatra.solver.data.map.ContinousHashProvider;
+
+abstract public class DataRepresentation<K, V> {
+        protected final Class<K> keyClass;
+        protected final Class<V> valueClass;
+        protected final ContinousHashProvider<K> hashProvider;
+        protected final V defaultValue;
+
+        protected DataRepresentation(Class<K> keyClass, ContinousHashProvider<K> hashProvider, Class<V> valueClass,
+                        V defaultValue) {
+                this.keyClass = keyClass;
+                this.hashProvider = hashProvider;
+                this.valueClass = valueClass;
+                this.defaultValue = defaultValue;
+        }
+        
+        public Class<K> getKeyClass() {
+                return keyClass;
+        }
+        
+        public Class<V> getValueClass() {
+                return valueClass;
+        }
+        
+        public ContinousHashProvider<K> getHashProvider() {
+                return hashProvider;
+        }
+
+        public V getDefaultValue() {
+                return defaultValue;
+        }
+}
diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/model/representation/SymbolRepresentation.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/model/representation/SymbolRepresentation.java
new file mode 100644
index 00000000..442f9dc6
--- /dev/null
+++ b/model-data/src/main/java/org/eclipse/viatra/solver/data/model/representation/SymbolRepresentation.java
@@ -0,0 +1,18 @@
+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 SymbolRepresentation <D> extends DataRepresentation<Tuple,D> {
+        private final Symbol symbol;
+
+        public SymbolRepresentation(Symbol symbol,Class<D> domain, D defaultValue) {
+                super(Tuple.class,TupleHashProvider.singleton(),domain,defaultValue);
+                this.symbol = symbol;
+        }
+
+        public Symbol getSymbol() {
+                return symbol;
+        }
+}
diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/model/representation/TruthValue.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/model/representation/TruthValue.java
new file mode 100644
index 00000000..aeccde9e
--- /dev/null
+++ b/model-data/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;
+                }
+        }
+}
diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/model/symbols/Symbol.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/model/symbols/Symbol.java
index 6a02cd2d..12ebed9e 100644
--- a/model-data/src/main/java/org/eclipse/viatra/solver/data/model/symbols/Symbol.java
+++ b/model-data/src/main/java/org/eclipse/viatra/solver/data/model/symbols/Symbol.java
@@ -1,9 +1,6 @@
 package org.eclipse.viatra.solver.data.model.symbols;
 
-import java.util.Comparator;
-
 public class Symbol {
-        public static final Comparator<Symbol> symbolComparator = (o1, o2) -> o1.getName().compareTo(o2.getName());
         private final String name;
         private final int arity;