Model representation is outdated.

11 files changed, 0 insertions, 107 deletions

diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/BooleanValue.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/BooleanValue.java
deleted file mode 100644
index 7b0e565b..00000000
--- a/model-data/src/main/java/org/eclipse/viatra/solver/data/BooleanValue.java
+++ /dev/null
@@ -1,17 +0,0 @@
-package org.eclipse.viatra.solver.data;
-
-public class BooleanValue implements TruthValue {
-        private final boolean value;
-        protected BooleanValue(final boolean value) {
-                this.value = value;
-        }
-        public static final BooleanValue trueValue = new BooleanValue(true);
-        public static final BooleanValue falseValue = new BooleanValue(false);
-        
-        @Override
-        public String getName() {
-                // TODO Auto-generated method stub
-                return Boolean.toString(value);
-        }
-        
-}
diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/DataSymbol.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/DataSymbol.java
deleted file mode 100644
index 74624db6..00000000
--- a/model-data/src/main/java/org/eclipse/viatra/solver/data/DataSymbol.java
+++ /dev/null
@@ -1,5 +0,0 @@
-package org.eclipse.viatra.solver.data;
-
-public class DataSymbol {
-
-}
diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/DefinedSymbol.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/DefinedSymbol.java
deleted file mode 100644
index 40d01721..00000000
--- a/model-data/src/main/java/org/eclipse/viatra/solver/data/DefinedSymbol.java
+++ /dev/null
@@ -1,11 +0,0 @@
-package org.eclipse.viatra.solver.data;
-
-public class DefinedSymbol extends Symbol {
-        private final String name;
-        public DefinedSymbol(String name) {
-                this.name = name;
-        }
-        public String getName() {
-                return name;
-        }
-}
diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/Logic2Valued.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/Logic2Valued.java
deleted file mode 100644
index 7a807155..00000000
--- a/model-data/src/main/java/org/eclipse/viatra/solver/data/Logic2Valued.java
+++ /dev/null
@@ -1,9 +0,0 @@
-package org.eclipse.viatra.solver.data;
-
-public class Logic2Valued {
-        protected static final String trueName = "true";
-        protected static final String falseName = "false";
-        
-        public static final TruthValue trueValue = new NamedTruthValue(trueName);
-        public static final TruthValue falseValue = new NamedTruthValue(falseName);
-}
diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/Logic4Valued.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/Logic4Valued.java
deleted file mode 100644
index 5f1e2bd8..00000000
--- a/model-data/src/main/java/org/eclipse/viatra/solver/data/Logic4Valued.java
+++ /dev/null
@@ -1,22 +0,0 @@
-package org.eclipse.viatra.solver.data;
-
-public class Logic4Valued extends Logic2Valued {
-        protected static final String unknownName = "unknown";
-        protected static final String errorName = "error";
-        
-        public static final TruthValue unknownValue = new NamedTruthValue(unknownName);
-        public static final TruthValue errorValue = new NamedTruthValue(errorName);
-        
-//      public TruthValue getImplMin(TruthValue a, TruthValue b) {
-//              
-//      }
-//      public TruthValue getImplMax(TruthValue a, TruthValue b) {
-//              
-//      }
-//      public TruthValue getInfoMin(TruthValue a, TruthValue b) {
-//              
-//      }
-//      public TruthValue getInfoMax(TruthValue a, TruthValue b) {
-//              
-//      }
-}
diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/Model.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/Model.java
deleted file mode 100644
index 6f5c58ce..00000000
--- a/model-data/src/main/java/org/eclipse/viatra/solver/data/Model.java
+++ /dev/null
@@ -1,10 +0,0 @@
-package org.eclipse.viatra.solver.data;
-
-import java.util.List;
-import java.util.Map;
-import java.util.Set;
-
-public class Model {
-        Set<ModelObject> objects;
-        Map<String,Map<List<ModelObject>,TruthValue>> interpretation;
-}
diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/ModelObject.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/ModelObject.java
deleted file mode 100644
index 73607f82..00000000
--- a/model-data/src/main/java/org/eclipse/viatra/solver/data/ModelObject.java
+++ /dev/null
@@ -1,5 +0,0 @@
-package org.eclipse.viatra.solver.data;
-
-public class ModelObject {
-
-}
diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/NamedTruthValue.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/NamedTruthValue.java
deleted file mode 100644
index be3a2351..00000000
--- a/model-data/src/main/java/org/eclipse/viatra/solver/data/NamedTruthValue.java
+++ /dev/null
@@ -1,13 +0,0 @@
-package org.eclipse.viatra.solver.data;
-
-public class NamedTruthValue implements TruthValue {
-        private final String name;
-        public NamedTruthValue(String name) {
-                this.name = name;
-        }
-        @Override
-        public String getName() {
-                return this.name;
-        }
-
-}
diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/PrimitiveSymbol.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/PrimitiveSymbol.java
deleted file mode 100644
index 6bf0b195..00000000
--- a/model-data/src/main/java/org/eclipse/viatra/solver/data/PrimitiveSymbol.java
+++ /dev/null
@@ -1,5 +0,0 @@
-package org.eclipse.viatra.solver.data;
-
-public class PrimitiveSymbol {
-
-}
diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/Symbol.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/Symbol.java
deleted file mode 100644
index d403e181..00000000
--- a/model-data/src/main/java/org/eclipse/viatra/solver/data/Symbol.java
+++ /dev/null
@@ -1,5 +0,0 @@
-package org.eclipse.viatra.solver.data;
-
-public class Symbol {
-
-}
diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/TruthValue.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/TruthValue.java
deleted file mode 100644
index 5dbde11c..00000000
--- a/model-data/src/main/java/org/eclipse/viatra/solver/data/TruthValue.java
+++ /dev/null
@@ -1,5 +0,0 @@
-package org.eclipse.viatra.solver.data;
-
-interface TruthValue {
-        public String getName();
-}