feat: Dnf reduction and structural equality

1 files changed, 5 insertions, 4 deletions

diff --git a/subprojects/store/src/main/java/tools/refinery/store/util/CycleDetectingMapper.java b/subprojects/store/src/main/java/tools/refinery/store/util/CycleDetectingMapper.java
index e4b462f0..8a151d01 100644
--- a/subprojects/store/src/main/java/tools/refinery/store/util/CycleDetectingMapper.java
+++ b/subprojects/store/src/main/java/tools/refinery/store/util/CycleDetectingMapper.java
@@ -1,9 +1,6 @@
 package tools.refinery.store.util;
 
-import java.util.HashMap;
-import java.util.LinkedHashSet;
-import java.util.Map;
-import java.util.Set;
+import java.util.*;
 import java.util.function.Function;
 import java.util.stream.Collectors;
 
@@ -45,6 +42,10 @@ public class CycleDetectingMapper<T, R> {
                 return result;
         }
 
+        public List<T> getInProgress() {
+                return List.copyOf(inProgress);
+        }
+
         public R getAlreadyMapped(T input) {
                 return results.get(input);
         }