From 7f6a2528bf83f93e3d35eff228f7180e0181f4eb Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <marussy@mit.bme.hu>
Date: Thu, 29 Jul 2021 19:01:25 +0200
Subject: Add new data structure for backend
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Co-authored-by: Oszkár Semeráth <semerath@mit.bme.hu>
---
 .../java/org/eclipse/viatra/solver/data/map/Cursor.java     | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 model-data/src/main/java/org/eclipse/viatra/solver/data/map/Cursor.java

(limited to 'model-data/src/main/java/org/eclipse/viatra/solver/data/map/Cursor.java')

diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/map/Cursor.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/map/Cursor.java
new file mode 100644
index 00000000..969f96c9
--- /dev/null
+++ b/model-data/src/main/java/org/eclipse/viatra/solver/data/map/Cursor.java
@@ -0,0 +1,13 @@
+package org.eclipse.viatra.solver.data.map;
+
+import java.util.List;
+
+public interface Cursor<KEY,VALUE> {
+	public KEY getKey();
+	public VALUE getValue();
+	public boolean isTerminated();
+	public boolean move();
+	public boolean isDirty();
+	
+	public List<VersionedMap<KEY,VALUE>> getDependingMaps();
+}
-- 
cgit v1.2.3-54-g00ecf