diff options
Diffstat (limited to 'model-data/src/main/java/org/eclipse')
-rw-r--r-- | model-data/src/main/java/org/eclipse/viatra/solver/data/map/VersionedMapStore.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/map/VersionedMapStore.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/map/VersionedMapStore.java index 9df5f5f6..60d869ec 100644 --- a/model-data/src/main/java/org/eclipse/viatra/solver/data/map/VersionedMapStore.java +++ b/model-data/src/main/java/org/eclipse/viatra/solver/data/map/VersionedMapStore.java | |||
@@ -4,7 +4,7 @@ public interface VersionedMapStore<K, V> { | |||
4 | 4 | ||
5 | public VersionedMap<K, V> createMap(); | 5 | public VersionedMap<K, V> createMap(); |
6 | 6 | ||
7 | public VersionedMap<K, V> createMap(long state) throws IllegalAccessException; | 7 | public VersionedMap<K, V> createMap(long state); |
8 | 8 | ||
9 | public DiffCursor<K,V> getDiffCursor(long fromState, long toState); | 9 | public DiffCursor<K,V> getDiffCursor(long fromState, long toState); |
10 | } \ No newline at end of file | 10 | } \ No newline at end of file |