blob: 9df5f5f68641788fbfb1046b364f2e3e8e41dfb6 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
|
package org.eclipse.viatra.solver.data.map;
public interface VersionedMapStore<K, V> {
public VersionedMap<K, V> createMap();
public VersionedMap<K, V> createMap(long state) throws IllegalAccessException;
public DiffCursor<K,V> getDiffCursor(long fromState, long toState);
}
|