add BitVector.getImmutable()

diff --git a/src/edu/berkeley/fleet/api/BitVector.java b/src/edu/berkeley/fleet/api/BitVector.java
index df4eb71..b43ec72 100644 (file)
--- a/src/edu/berkeley/fleet/api/BitVector.java
+++ b/src/edu/berkeley/fleet/api/BitVector.java
@@ -69,6 +69,11 @@ public class BitVector {
         immutable = true;
     }
 
+    /** indicates if this BitVector has been marked as immutable */
+    public boolean getImmutable() {
+        return immutable;
+    }
+
     public int hashCode() {
         int ret = 0;
         for(int i=0; i<length(); i++)