From: megacz <adam@megacz.com>
Date: Sat, 13 Dec 2008 06:13:11 +0000 (-0800)
Subject: add BitVector.equalsZeroExtended()
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=2ff1d8662ee5c3d834fabdcaf3877d6b60ddc50e;p=fleet.git

add BitVector.equalsZeroExtended()
---

diff --git a/src/edu/berkeley/fleet/api/BitVector.java b/src/edu/berkeley/fleet/api/BitVector.java
index ae7f96b..d54b2bc 100644
--- a/src/edu/berkeley/fleet/api/BitVector.java
+++ b/src/edu/berkeley/fleet/api/BitVector.java
@@ -96,14 +96,18 @@ public class BitVector {
         return ret;
     }
 
+    public boolean equalsZeroExtended(BitVector bv) {
+        for(int i=0; i<Math.min(bv.bits.length, bits.length); i++)
+            if (bits[i] != bv.bits[i])
+                return false;
+        return true;
+    }
+
     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;
+        return equalsZeroExtended(bv);
     }
 
     /**