1 files changed, 7 insertions, 0 deletions

diff --git a/subprojects/store/src/main/java/tools/refinery/store/statecoding/neighbourhood/ObjectCodeImpl.java b/subprojects/store/src/main/java/tools/refinery/store/statecoding/neighbourhood/ObjectCodeImpl.java
index 0cd7ff58..422e1d73 100644
--- a/subprojects/store/src/main/java/tools/refinery/store/statecoding/neighbourhood/ObjectCodeImpl.java
+++ b/subprojects/store/src/main/java/tools/refinery/store/statecoding/neighbourhood/ObjectCodeImpl.java
@@ -32,6 +32,13 @@ public class ObjectCodeImpl implements ObjectCode {
                 effectiveSize = copy.effectiveSize;
         }
 
+        public void clear() {
+                effectiveSize = 0;
+                for (int i = 0; i < size; i++) {
+                        vector[i] = 0;
+                }
+        }
+
         public void ensureSize(int object) {
                 if (object >= size) {
                         size = object + 1;