Add new data structure for backend

Co-authored-by: Oszkár Semeráth <semerath@mit.bme.hu>

1 files changed, 13 insertions, 0 deletions

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();
+}