diff options
| author |  OszkarSemerath <semerath@mit.bme.hu> | 2021-08-10 01:13:57 +0200 |
|---|---|---|
| committer | OszkarSemerath <semerath@mit.bme.hu> | 2021-08-10 01:13:57 +0200 |
| commit | d4adeca01946a0debd67dc831df9282f013f02f5 (patch) | |
| tree | 2d44c468c4b58103b3e076ca3510ae30970ef05b /model-data/src/main/java/org/eclipse/viatra/solver/data/map/Cursor.java | |
| parent | Simple collective cursors for models (diff) | |
| download | refinery-d4adeca01946a0debd67dc831df9282f013f02f5.tar.gz refinery-d4adeca01946a0debd67dc831df9282f013f02f5.tar.zst refinery-d4adeca01946a0debd67dc831df9282f013f02f5.zip | |
Diffcursor dependency update
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 | 3 |
1 files changed, 2 insertions, 1 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 95e59ee2..e45b1f20 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 | |||
| @@ -9,5 +9,6 @@ public interface Cursor<K,V> { | |||
| 9 | public boolean move(); | 9 | public boolean move(); |
| 10 | public boolean isDirty(); | 10 | public boolean isDirty(); |
| 11 | 11 | ||
| 12 | public List<VersionedMap<K,V>> getDependingMaps(); | 12 | @SuppressWarnings("squid:S1452") |
| 13 | public List<VersionedMap<?,?>> getDependingMaps(); | ||
| 13 | } | 14 | } |