From c3e27396c62f191b4343df151e5a86bfa63a32f3 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Tue, 5 Oct 2021 00:36:47 +0200 Subject: chore: change package name --- .../org/eclipse/viatra/solver/data/model/ModelStore.java | 16 ---------------- 1 file changed, 16 deletions(-) delete mode 100644 store/src/main/java/org/eclipse/viatra/solver/data/model/ModelStore.java (limited to 'store/src/main/java/org/eclipse/viatra/solver/data/model/ModelStore.java') diff --git a/store/src/main/java/org/eclipse/viatra/solver/data/model/ModelStore.java b/store/src/main/java/org/eclipse/viatra/solver/data/model/ModelStore.java deleted file mode 100644 index 35ac72b5..00000000 --- a/store/src/main/java/org/eclipse/viatra/solver/data/model/ModelStore.java +++ /dev/null @@ -1,16 +0,0 @@ -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> getDataRepresentations(); - - Model createModel(); - Model createModel(long state); - - Set getStates(); - ModelDiffCursor getDiffCursor(long from, long to); -} \ No newline at end of file -- cgit v1.2.3-54-g00ecf