From 627ce91db8f79c3d08c7c2627995d7929e2cbed7 Mon Sep 17 00:00:00 2001
From: adam <adam@megacz.com>
Date: Wed, 25 Jun 2008 12:30:43 +0100
Subject: [PATCH] added equals() and hashCode() to BitVector

---
 src/edu/berkeley/fleet/api/BitVector.java |   18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/src/edu/berkeley/fleet/api/BitVector.java b/src/edu/berkeley/fleet/api/BitVector.java
index e7b3061..c883b3b 100644
--- a/src/edu/berkeley/fleet/api/BitVector.java
+++ b/src/edu/berkeley/fleet/api/BitVector.java
@@ -48,6 +48,24 @@ public class BitVector {
     public void setImmutable() {
         immutable = true;
     }
+
+    public int hashCode() {
+        int ret = 0;
+        for(int i=0; i<length(); i++)
+            if (get(i))
+                ret ^= (1L << (i % 32));
+        return ret;
+    }
+
+    public boolean equals(Object o) {
+        if (o==null || !(o instanceof BitVector)) return false;
+        BitVector bv = (BitVector)o;
+        if (bv.bits.length != bits.length) return false;
+        for(int i=0; i<bits.length; i++)
+            if (bits[i] != bv.bits[i])
+                return false;
+        return true;
+    }
 }
 
 
-- 
1.7.10.4