From c3e27396c62f191b4343df151e5a86bfa63a32f3 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <kristof@marussy.com>
Date: Tue, 5 Oct 2021 00:36:47 +0200
Subject: chore: change package name

---
 .../data/model/representation/AuxilaryData.java    | 22 ----------
 .../model/representation/DataRepresentation.java   | 24 ----------
 .../solver/data/model/representation/Relation.java | 31 -------------
 .../data/model/representation/TruthValue.java      | 51 ----------------------
 4 files changed, 128 deletions(-)
 delete mode 100644 store/src/main/java/org/eclipse/viatra/solver/data/model/representation/AuxilaryData.java
 delete mode 100644 store/src/main/java/org/eclipse/viatra/solver/data/model/representation/DataRepresentation.java
 delete mode 100644 store/src/main/java/org/eclipse/viatra/solver/data/model/representation/Relation.java
 delete mode 100644 store/src/main/java/org/eclipse/viatra/solver/data/model/representation/TruthValue.java

(limited to 'store/src/main/java/org/eclipse/viatra/solver/data/model/representation')

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
deleted file mode 100644
index 7fc79348..00000000
--- a/store/src/main/java/org/eclipse/viatra/solver/data/model/representation/AuxilaryData.java
+++ /dev/null
@@ -1,22 +0,0 @@
-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
deleted file mode 100644
index fd48eb94..00000000
--- a/store/src/main/java/org/eclipse/viatra/solver/data/model/representation/DataRepresentation.java
+++ /dev/null
@@ -1,24 +0,0 @@
-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
deleted file mode 100644
index eafb5c56..00000000
--- a/store/src/main/java/org/eclipse/viatra/solver/data/model/representation/Relation.java
+++ /dev/null
@@ -1,31 +0,0 @@
-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
deleted file mode 100644
index 049c7eac..00000000
--- a/store/src/main/java/org/eclipse/viatra/solver/data/model/representation/TruthValue.java
+++ /dev/null
@@ -1,51 +0,0 @@
-package org.eclipse.viatra.solver.data.model.representation;
-
-public enum TruthValue {
-	TRUE("true"),
-
-	FALSE("false"),
-
-	UNKNOWN("unknown"),
-
-	ERROR("error");
-
-	private final String name;
-
-	private TruthValue(String name) {
-		this.name = name;
-	}
-
-	public String getName() {
-		return name;
-	}
-
-	public static TruthValue toTruthValue(boolean value) {
-		return value ? TRUE : 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;
-		}
-	}
-}
-- 
cgit v1.2.3-70-g09d2