1 files changed, 7 insertions, 0 deletions

diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/map/Versioned.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/map/Versioned.java
new file mode 100644
index 00000000..68970a94
--- /dev/null
+++ b/model-data/src/main/java/org/eclipse/viatra/solver/data/map/Versioned.java
@@ -0,0 +1,7 @@
+package org.eclipse.viatra.solver.data.map;
+
+public interface Versioned {
+        public long commit();
+        //public void revert();
+        public void restore(long state);
+}