From 12d34af7495b195a1ee7fa9adb00ee94af5401b6 Mon Sep 17 00:00:00 2001
From: OszkarSemerath <semerath@mit.bme.hu>
Date: Mon, 16 Aug 2021 04:19:04 +0200
Subject: Added a simple RelationView for sets

---
 .../solver/data/query/view/TupleRelationView.java       | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 model-data/src/main/java/org/eclipse/viatra/solver/data/query/view/TupleRelationView.java

diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/query/view/TupleRelationView.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/query/view/TupleRelationView.java
new file mode 100644
index 00000000..2e4e286f
--- /dev/null
+++ b/model-data/src/main/java/org/eclipse/viatra/solver/data/query/view/TupleRelationView.java
@@ -0,0 +1,17 @@
+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.representation.Relation;
+
+public class TupleRelationView extends FilteredRelationView<Boolean>{
+
+	public TupleRelationView(Model model, Relation<Boolean> representation) {
+		super(model, representation, (k,v)->true);
+	}
+	@Override
+	protected boolean filter(Tuple key, Boolean value) {
+		return true;
+	}
+	
+}
-- 
cgit v1.2.3-70-g09d2