1 files changed, 4 insertions, 0 deletions

diff --git a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/transition/statespace/internal/FastEquivalenceClassStore.java b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/transition/statespace/internal/FastEquivalenceClassStore.java
index faeedba5..6eba87d4 100644
--- a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/transition/statespace/internal/FastEquivalenceClassStore.java
+++ b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/transition/statespace/internal/FastEquivalenceClassStore.java
@@ -26,6 +26,10 @@ public abstract class FastEquivalenceClassStore extends AbstractEquivalenceClass
                 return this.codes.add(stateCoderResult.modelCode());
         }
 
+        public synchronized boolean tryToAdd(StateCoderResult stateCoderResult) {
+                return this.codes.add(stateCoderResult.modelCode());
+        }
+
         @Override
         public void resolveOneSymmetry() {
                 throw new IllegalArgumentException("This equivalence storage is not prepared to resolve symmetries!");