store/src/main/java/org/eclipse/viatra/solver/data/map/Cursor.java


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();
}