feat: connect model generator to UI

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 {
 
         boolean cleanup(int nodeToDelete);
 
+        int getNodeCount();
+
         static ReasoningBuilder builder() {
                 return new ReasoningBuilderImpl();
         }
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;
+        }
 }