From fd86b5c0805953fb12d78e043b30a842052e6756 Mon Sep 17 00:00:00 2001
From: Adam Megacz <adam@megacz.com>
Date: Thu, 16 Jul 2009 11:31:25 -0700
Subject: [PATCH] add BitVector.and(),or(),not()

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

diff --git a/src/edu/berkeley/fleet/api/BitVector.java b/src/edu/berkeley/fleet/api/BitVector.java
index 3352a6c..92cb6a0 100644
--- a/src/edu/berkeley/fleet/api/BitVector.java
+++ b/src/edu/berkeley/fleet/api/BitVector.java
@@ -147,6 +147,33 @@ public class BitVector implements DeferredBitVector {
     public BitVector getBitVector() {
         return this;
     }
+
+    public BitVector and(BitVector bv) {
+        if (bv.length() != this.length())
+            throw new RuntimeException("attempt to invoke BitVector.and() on BitVectors "+
+                                       "of mismatched size: this="+this+", bv="+bv);
+        BitVector ret = new BitVector(length());
+        for(int i=0; i<length(); i++)
+            ret.set(i, get(i) && bv.get(i));
+        return ret;
+    }
+
+    public BitVector or(BitVector bv) {
+        if (bv.length() != this.length())
+            throw new RuntimeException("attempt to invoke BitVector.or() on BitVectors "+
+                                       "of mismatched size: this="+this+", bv="+bv);
+        BitVector ret = new BitVector(length());
+        for(int i=0; i<length(); i++)
+            ret.set(i, get(i) || bv.get(i));
+        return ret;
+    }
+
+    public BitVector not() {
+        BitVector ret = new BitVector(length());
+        for(int i=0; i<length(); i++)
+            ret.set(i, !get(i));
+        return ret;
+    }
 }
 
 
-- 
1.7.10.4