From: adam <adam@megacz.com>
Date: Mon, 3 Nov 2008 09:27:43 +0000 (+0100)
Subject: add BitVector.getImmutable()
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=8285c56f5bd01393309defaf1f27d6a72bfc32eb;p=fleet.git

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
--- 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++)