blob: e45b1f20814889321480b4e61a0eb49c4d94de91 (
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.List;
public interface Cursor<K,V> {
public K getKey();
public V getValue();
public boolean isTerminated();
public boolean move();
public boolean isDirty();
@SuppressWarnings("squid:S1452")
public List<VersionedMap<?,?>> getDependingMaps();
}
|