From 2ff1d8662ee5c3d834fabdcaf3877d6b60ddc50e Mon Sep 17 00:00:00 2001
From: megacz <adam@megacz.com>
Date: Fri, 12 Dec 2008 22:13:11 -0800
Subject: [PATCH] add BitVector.equalsZeroExtended()

---
 src/edu/berkeley/fleet/api/BitVector.java |   12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

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