diff options
Diffstat (limited to 'subprojects/store-reasoning')
2 files changed, 8 insertions, 0 deletions
diff --git a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/ReasoningAdapter.java b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/ReasoningAdapter.java index 1dda7ac1..7f0ef8b4 100644 --- a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/ReasoningAdapter.java +++ b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/ReasoningAdapter.java | |||
@@ -47,6 +47,8 @@ public interface ReasoningAdapter extends ModelAdapter { | |||
47 | 47 | ||
48 | boolean cleanup(int nodeToDelete); | 48 | boolean cleanup(int nodeToDelete); |
49 | 49 | ||
50 | int getNodeCount(); | ||
51 | |||
50 | static ReasoningBuilder builder() { | 52 | static ReasoningBuilder builder() { |
51 | return new ReasoningBuilderImpl(); | 53 | return new ReasoningBuilderImpl(); |
52 | } | 54 | } |
diff --git a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/internal/ReasoningAdapterImpl.java b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/internal/ReasoningAdapterImpl.java index f91fdd07..bd16bdfa 100644 --- a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/internal/ReasoningAdapterImpl.java +++ b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/internal/ReasoningAdapterImpl.java | |||
@@ -204,4 +204,10 @@ class ReasoningAdapterImpl implements ReasoningAdapter { | |||
204 | } | 204 | } |
205 | return true; | 205 | return true; |
206 | } | 206 | } |
207 | |||
208 | @Override | ||
209 | public int getNodeCount() { | ||
210 | Integer nodeCount = nodeCountInterpretation.get(Tuple.of()); | ||
211 | return nodeCount == null ? 0 : nodeCount; | ||
212 | } | ||
207 | } | 213 | } |