make BitVector implement DeferredBitVector

diff --git a/src/edu/berkeley/fleet/api/BitVector.java b/src/edu/berkeley/fleet/api/BitVector.java
index 8b08fc6..3352a6c 100644 (file)
--- a/src/edu/berkeley/fleet/api/BitVector.java
+++ b/src/edu/berkeley/fleet/api/BitVector.java
@@ -19,7 +19,7 @@ package edu.berkeley.fleet.api;
  *  complement number using the number of bits allocated in the
  *  BitVector.
  */
-public class BitVector {
+public class BitVector implements DeferredBitVector {
 
     private final boolean[] bits;
 
@@ -143,6 +143,10 @@ public class BitVector {
                 ret |= (1L << i);
         return ret;
     }
+
+    public BitVector getBitVector() {
+        return this;
+    }
 }