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