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 (file)
--- 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);
     }
 
     /**