blob: 0ff0773f29450f9dec15b14d0169b48331a4487a (
plain) (
blame)
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);
}
|