diff options
Diffstat (limited to 'subprojects/store-reasoning/src/main/java/tools')
-rw-r--r-- | subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/seed/Seed.java (renamed from subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/Seed.java) | 2 |
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; | |||
6 | public interface Seed<T> { | 6 | public interface Seed<T> { |
7 | int arity(); | 7 | int arity(); |
8 | 8 | ||
9 | T getReducedValue(); | ||
10 | |||
9 | T get(Tuple key); | 11 | T get(Tuple key); |
10 | 12 | ||
11 | Cursor<Tuple, T> getCursor(T defaultValue, int nodeCount); | 13 | Cursor<Tuple, T> getCursor(T defaultValue, int nodeCount); |