1 files changed, 7 insertions, 0 deletions

diff --git a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/transition/statespace/internal/AbstractEquivalenceClassStore.java b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/transition/statespace/internal/AbstractEquivalenceClassStore.java
index 8466a0f3..b5087e86 100644
--- a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/transition/statespace/internal/AbstractEquivalenceClassStore.java
+++ b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/transition/statespace/internal/AbstractEquivalenceClassStore.java
@@ -22,6 +22,13 @@ public abstract class AbstractEquivalenceClassStore implements EquivalenceClassS
         protected abstract boolean tryToAdd(StateCoderResult stateCoderResult, VersionWithObjectiveValue newVersion,
                                                            int[] emptyActivations, boolean accept);
 
+        public abstract boolean tryToAdd(StateCoderResult stateCoderResult);
+
+        @Override
+        public boolean submit(StateCoderResult stateCoderResult) {
+                return tryToAdd(stateCoderResult);
+        }
+
         @Override
         public synchronized boolean submit(VersionWithObjectiveValue version, StateCoderResult stateCoderResult,
                                                                            int[] emptyActivations, boolean accept) {