model-data/src/main/java/org/eclipse/viatra/solver/data/map/VersionedMapStore.java


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