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


1
2
3
4
5
6
7
8
9
10
11
12
13

package org.eclipse.viatra.solver.data.map;

public interface VersionedMap<K,V> extends Versioned{
	public V get(K key);
	public Cursor<K,V> getAll();
	
	public V put(K key, V value);
	public void putAll(Cursor<K,V> cursor);
	
	public long getSize();
	
	public DiffCursor<K,V> getDiffCursor(long state);
}