From a2a4696fdbd6440269d576aeba7b25b2ea40d9bf Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Tue, 12 Sep 2023 21:59:50 +0200 Subject: feat: connect model generator to UI --- .../main/java/tools/refinery/store/reasoning/ReasoningAdapter.java | 2 ++ .../refinery/store/reasoning/internal/ReasoningAdapterImpl.java | 6 ++++++ 2 files changed, 8 insertions(+) (limited to 'subprojects/store-reasoning/src/main/java/tools') 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; + } } -- cgit v1.2.3-54-g00ecf