1 files changed, 6 insertions, 0 deletions

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 {
                 }
                 return true;
         }
+
+        @Override
+        public int getNodeCount() {
+                Integer nodeCount = nodeCountInterpretation.get(Tuple.of());
+                return nodeCount == null ? 0 : nodeCount;
+        }
 }