1 files changed, 2 insertions, 0 deletions

diff --git a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/Seed.java b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/seed/Seed.java
index 779eadbe..042c2636 100644
--- a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/Seed.java
+++ b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/seed/Seed.java
@@ -6,6 +6,8 @@ import tools.refinery.store.tuple.Tuple;
 public interface Seed<T> {
         int arity();
 
+        T getReducedValue();
+
         T get(Tuple key);
 
         Cursor<Tuple, T> getCursor(T defaultValue, int nodeCount);