diff options
Diffstat (limited to 'subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/seed/ModelSeed.java')
-rw-r--r-- | subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/seed/ModelSeed.java | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/seed/ModelSeed.java b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/seed/ModelSeed.java index 3641730d..28e6258e 100644 --- a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/seed/ModelSeed.java +++ b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/seed/ModelSeed.java | |||
@@ -39,6 +39,10 @@ public class ModelSeed { | |||
39 | return typedSeed; | 39 | return typedSeed; |
40 | } | 40 | } |
41 | 41 | ||
42 | public boolean containsSeed(AnyPartialSymbol symbol) { | ||
43 | return seeds.containsKey(symbol); | ||
44 | } | ||
45 | |||
42 | public <A> Cursor<Tuple, A> getCursor(PartialSymbol<A, ?> partialSymbol, A defaultValue) { | 46 | public <A> Cursor<Tuple, A> getCursor(PartialSymbol<A, ?> partialSymbol, A defaultValue) { |
43 | return getSeed(partialSymbol).getCursor(defaultValue, nodeCount); | 47 | return getSeed(partialSymbol).getCursor(defaultValue, nodeCount); |
44 | } | 48 | } |