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


1
2
3
4
5
6
7
8
9
10
11
12
13
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);
}