1 files changed, 14 insertions, 0 deletions

diff --git a/store/src/main/java/org/eclipse/viatra/solver/data/map/VersionedMapStore.java b/store/src/main/java/org/eclipse/viatra/solver/data/map/VersionedMapStore.java
new file mode 100644
index 00000000..0ff0773f
--- /dev/null
+++ b/store/src/main/java/org/eclipse/viatra/solver/data/map/VersionedMapStore.java
@@ -0,0 +1,14 @@
+package org.eclipse.viatra.solver.data.map;
+
+import java.util.Set;
+
+public interface VersionedMapStore<K, V> {
+        
+        public VersionedMap<K, V> createMap();
+
+        public VersionedMap<K, V> createMap(long state);
+        
+        public Set<Long> getStates();
+
+        public DiffCursor<K,V> getDiffCursor(long fromState, long toState);
+}
\ No newline at end of file