diff options
Diffstat (limited to 'model-data/src/main/java/org/eclipse/viatra/solver/data/map/Cursor.java')
-rw-r--r-- | model-data/src/main/java/org/eclipse/viatra/solver/data/map/Cursor.java | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/model-data/src/main/java/org/eclipse/viatra/solver/data/map/Cursor.java b/model-data/src/main/java/org/eclipse/viatra/solver/data/map/Cursor.java index 969f96c9..95e59ee2 100644 --- a/model-data/src/main/java/org/eclipse/viatra/solver/data/map/Cursor.java +++ b/model-data/src/main/java/org/eclipse/viatra/solver/data/map/Cursor.java | |||
@@ -2,12 +2,12 @@ package org.eclipse.viatra.solver.data.map; | |||
2 | 2 | ||
3 | import java.util.List; | 3 | import java.util.List; |
4 | 4 | ||
5 | public interface Cursor<KEY,VALUE> { | 5 | public interface Cursor<K,V> { |
6 | public KEY getKey(); | 6 | public K getKey(); |
7 | public VALUE getValue(); | 7 | public V getValue(); |
8 | public boolean isTerminated(); | 8 | public boolean isTerminated(); |
9 | public boolean move(); | 9 | public boolean move(); |
10 | public boolean isDirty(); | 10 | public boolean isDirty(); |
11 | 11 | ||
12 | public List<VersionedMap<KEY,VALUE>> getDependingMaps(); | 12 | public List<VersionedMap<K,V>> getDependingMaps(); |
13 | } | 13 | } |