diff options
author | Kristóf Marussy <kristof@marussy.com> | 2023-09-12 21:59:50 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2023-09-12 21:59:50 +0200 |
commit | a2a4696fdbd6440269d576aeba7b25b2ea40d9bf (patch) | |
tree | 5cbdf981a51a09fbe162e7748555d213ca518ff4 /subprojects/store-reasoning | |
parent | fix: avoid GLOP error message on stderr (diff) | |
download | refinery-a2a4696fdbd6440269d576aeba7b25b2ea40d9bf.tar.gz refinery-a2a4696fdbd6440269d576aeba7b25b2ea40d9bf.tar.zst refinery-a2a4696fdbd6440269d576aeba7b25b2ea40d9bf.zip |
feat: connect model generator to UI
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 | } |