Versioned.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/Versioned.java

blob: e46be23740c26d4882037c381e2801b8db253670 (plain) (blame)

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

public interface Versioned {
	public long commit();
	//maybe revert()?
	public void restore(long state);
}