1 files changed, 5 insertions, 8 deletions

diff --git a/subprojects/store-query/src/main/java/tools/refinery/store/query/ResultSet.java b/subprojects/store-query/src/main/java/tools/refinery/store/query/ResultSet.java
index d2b8c9dd..3f6bc06f 100644
--- a/subprojects/store-query/src/main/java/tools/refinery/store/query/ResultSet.java
+++ b/subprojects/store-query/src/main/java/tools/refinery/store/query/ResultSet.java
@@ -1,16 +1,13 @@
 package tools.refinery.store.query;
 
 import tools.refinery.store.map.Cursor;
+import tools.refinery.store.query.dnf.Query;
 import tools.refinery.store.tuple.TupleLike;
 
-public interface ResultSet {
-        default boolean hasResult() {
-                return countResults() > 0;
-        }
+public non-sealed interface ResultSet<T> extends AnyResultSet {
+        Query<T> getQuery();
 
-        boolean hasResult(TupleLike parameters);
+        T get(TupleLike parameters);
 
-        Cursor<TupleLike, Boolean> allResults();
-
-        int countResults();
+        Cursor<TupleLike, T> getAll();
 }