blob: 95e59ee256ca5e33d4a18ecc81dd0486dd52dc3a (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
package org.eclipse.viatra.solver.data.map;
import java.util.List;
public interface Cursor<K,V> {
public K getKey();
public V getValue();
public boolean isTerminated();
public boolean move();
public boolean isDirty();
public List<VersionedMap<K,V>> getDependingMaps();
}
|