fixup! Performance improvements by replacing hash depth calculation with shifting, improving code quality. + formatting

1 files changed, 0 insertions, 22 deletions

diff --git a/subprojects/store/src/main/java/tools/refinery/store/map/internal/VersionedMapImpl.java b/subprojects/store/src/main/java/tools/refinery/store/map/internal/VersionedMapImpl.java
index 57256472..674ffc47 100644
--- a/subprojects/store/src/main/java/tools/refinery/store/map/internal/VersionedMapImpl.java
+++ b/subprojects/store/src/main/java/tools/refinery/store/map/internal/VersionedMapImpl.java
@@ -131,28 +131,6 @@ public class VersionedMapImpl<K, V> implements VersionedMap<K, V> {
                 root = this.store.revert(state);
         }
 
-        @Override
-        public int hashCode() {
-                final int prime = 31;
-                int result = 1;
-                result = prime * result + ((root == null) ? 0 : root.hashCode());
-                return result;
-        }
-
-        @Override
-        public boolean equals(Object obj) {
-                if (this == obj)
-                        return true;
-                if (obj == null)
-                        return false;
-                if (getClass() != obj.getClass())
-                        return false;
-                VersionedMapImpl<?, ?> other = (VersionedMapImpl<?, ?>) obj;
-                if (root == null) {
-                        return other.root == null;
-                } else return root.equals(other.root);
-        }
-
         public String prettyPrint() {
                 if (this.root != null) {
                         StringBuilder s = new StringBuilder();