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


1
2
3
4
5
6
7
8
9
10
11

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

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