model-data/src/main/java/org/eclipse/viatra/solver/data/model/ModelStore.java


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

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

import java.util.Set;

import org.eclipse.viatra.solver.data.model.symbols.Symbol;

public interface ModelStore {

	Set<Symbol> getSymbols();
	Model createModel();
	Model createModel(long state);
	Set<Long> getStates();

}