From 5691d60054c7571647997abae80ae91c19d45e4a Mon Sep 17 00:00:00 2001
From: OszkarSemerath <semerath@mit.bme.hu>
Date: Sun, 1 Aug 2021 22:46:23 +0200
Subject: Model representation is outdated.

---
 .../eclipse/viatra/solver/data/BooleanValue.java   | 17 -----------------
 .../org/eclipse/viatra/solver/data/DataSymbol.java |  5 -----
 .../eclipse/viatra/solver/data/DefinedSymbol.java  | 11 -----------
 .../eclipse/viatra/solver/data/Logic2Valued.java   |  9 ---------
 .../eclipse/viatra/solver/data/Logic4Valued.java   | 22 ----------------------
 .../java/org/eclipse/viatra/solver/data/Model.java | 10 ----------
 .../eclipse/viatra/solver/data/ModelObject.java    |  5 -----
 .../viatra/solver/data/NamedTruthValue.java        | 13 -------------
 .../viatra/solver/data/PrimitiveSymbol.java        |  5 -----
 .../org/eclipse/viatra/solver/data/Symbol.java     |  5 -----
 .../org/eclipse/viatra/solver/data/TruthValue.java |  5 -----
 11 files changed, 107 deletions(-)
 delete mode 100644 model-data/src/main/java/org/eclipse/viatra/solver/data/BooleanValue.java
 delete mode 100644 model-data/src/main/java/org/eclipse/viatra/solver/data/DataSymbol.java
 delete mode 100644 model-data/src/main/java/org/eclipse/viatra/solver/data/DefinedSymbol.java
 delete mode 100644 model-data/src/main/java/org/eclipse/viatra/solver/data/Logic2Valued.java
 delete mode 100644 model-data/src/main/java/org/eclipse/viatra/solver/data/Logic4Valued.java
 delete mode 100644 model-data/src/main/java/org/eclipse/viatra/solver/data/Model.java
 delete mode 100644 model-data/src/main/java/org/eclipse/viatra/solver/data/ModelObject.java
 delete mode 100644 model-data/src/main/java/org/eclipse/viatra/solver/data/NamedTruthValue.java
 delete mode 100644 model-data/src/main/java/org/eclipse/viatra/solver/data/PrimitiveSymbol.java
 delete mode 100644 model-data/src/main/java/org/eclipse/viatra/solver/data/Symbol.java
 delete mode 100644 model-data/src/main/java/org/eclipse/viatra/solver/data/TruthValue.java

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();
-}
-- 
cgit v1.2.3-70-g09d2