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/query/view/FunctionalRelationView.java    | 50 ----------------------
 1 file changed, 50 deletions(-)
 delete mode 100644 store/src/main/java/org/eclipse/viatra/solver/data/query/view/FunctionalRelationView.java

(limited to 'store/src/main/java/org/eclipse/viatra/solver/data/query/view/FunctionalRelationView.java')

diff --git a/store/src/main/java/org/eclipse/viatra/solver/data/query/view/FunctionalRelationView.java b/store/src/main/java/org/eclipse/viatra/solver/data/query/view/FunctionalRelationView.java
deleted file mode 100644
index 4aa7cfd0..00000000
--- a/store/src/main/java/org/eclipse/viatra/solver/data/query/view/FunctionalRelationView.java
+++ /dev/null
@@ -1,50 +0,0 @@
-package org.eclipse.viatra.solver.data.query.view;
-
-import org.eclipse.viatra.solver.data.model.Model;
-import org.eclipse.viatra.solver.data.model.Tuple;
-import org.eclipse.viatra.solver.data.model.Tuple.Tuple1;
-import org.eclipse.viatra.solver.data.model.representation.Relation;
-
-public class FunctionalRelationView<D> extends RelationView<D> {
-
-	public FunctionalRelationView(Relation<D> representation) {
-		super(representation);
-	}
-
-	@Override
-	protected boolean filter(Tuple key, D value) {
-		return true;
-	}
-
-	@Override
-	protected Object[] forwardMap(Tuple key, D value) {
-		return toTuple1ArrayPlusValue(key, value);
-	}
-
-	@Override
-	public boolean get(Model model, Object[] tuple) {
-		int[] content = new int[tuple.length-1];
-		for(int i = 0; i<tuple.length-1; i++) {
-			content[i] =((Tuple1)tuple[i]).get(0);
-		}
-		Tuple key = Tuple.of(content);
-		@SuppressWarnings("unchecked")
-		D valueInTuple = (D) tuple[tuple.length-1];
-		D valueInMap = model.get(representation, key);
-		return valueInTuple.equals(valueInMap);
-	}
-	
-	public static <D> Object[] toTuple1ArrayPlusValue(Tuple t, D value) {
-		Object[] result = new Object[t.getSize()+1];
-		for(int i = 0; i<t.getSize(); i++) {
-			result[i] = t.get(i);
-		}
-		result[t.getSize()] = value;
-		return result;
-	}
-	
-	@Override
-	public int getArity() {
-		return this.representation.getArity()+1;
-	}
-}
-- 
cgit v1.2.3-70-g09d2