subprojects/store/src/main/java/tools/refinery/store/model/ModelStore.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

package tools.refinery.store.model;

import tools.refinery.store.model.representation.AnyDataRepresentation;

import java.util.Set;

public interface ModelStore {
	Set<AnyDataRepresentation> getDataRepresentations();

	Model createModel();

	Model createModel(long state);

	Set<Long> getStates();

	ModelDiffCursor getDiffCursor(long from, long to);
}