diff options
Diffstat (limited to 'subprojects/store-partial/src/main/java/tools/refinery/store/partial/translator/Seed.java')
-rw-r--r-- | subprojects/store-partial/src/main/java/tools/refinery/store/partial/translator/Seed.java | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/subprojects/store-partial/src/main/java/tools/refinery/store/partial/translator/Seed.java b/subprojects/store-partial/src/main/java/tools/refinery/store/partial/translator/Seed.java new file mode 100644 index 00000000..c56b06ed --- /dev/null +++ b/subprojects/store-partial/src/main/java/tools/refinery/store/partial/translator/Seed.java | |||
@@ -0,0 +1,12 @@ | |||
1 | package tools.refinery.store.partial.translator; | ||
2 | |||
3 | import tools.refinery.store.map.Cursor; | ||
4 | import tools.refinery.store.tuple.Tuple; | ||
5 | |||
6 | public interface Seed<T> { | ||
7 | int arity(); | ||
8 | |||
9 | T get(Tuple key); | ||
10 | |||
11 | Cursor<Tuple, T> getCursor(T defaultValue, int nodeCount); | ||
12 | } | ||