blob: 35ac72b5d42dd48ed2166875f2041dd2c02c1751 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
package org.eclipse.viatra.solver.data.model;
import java.util.Set;
import org.eclipse.viatra.solver.data.model.representation.DataRepresentation;
public interface ModelStore {
@SuppressWarnings("squid:S1452")
Set<DataRepresentation<?, ?>> getDataRepresentations();
Model createModel();
Model createModel(long state);
Set<Long> getStates();
ModelDiffCursor getDiffCursor(long from, long to);
}
|