package org.eclipse.viatra.solver.data.map; public interface DiffCursor extends Cursor { }