DiffCursor.java « map « data « solver « viatra « eclipse « org « java « main « src « store - refinery - Mirror of https://github.com/graphs4value/refinery

index : refinery

Mirror of https://github.com/graphs4value/refinery

Graphs4Value

about summary refs log tree commit diff stats

path: root/store/src/main/java/org/eclipse/viatra/solver/data/map/DiffCursor.java

blob: f0af1436bd5fb23bc0cfe056f764c960e4ae1a50 (plain) (blame)

package org.eclipse.viatra.solver.data.map;

public interface DiffCursor<K, V> extends Cursor<K,V> {
	public V getFromValue();
	public V getToValue();
}