add Mask.getvalAsBitVector()

diff --git a/src/edu/berkeley/fleet/util/Mask.java b/src/edu/berkeley/fleet/util/Mask.java
index eeb64d4..6aadf39 100644 (file)
--- a/src/edu/berkeley/fleet/util/Mask.java
+++ b/src/edu/berkeley/fleet/util/Mask.java
@@ -46,6 +46,10 @@ public class Mask {
     public long getval(long in) {
         return (in & valmask) >>> valmaskmin;
     }
+    public BitVector getvalAsBitVector(long in) {
+        long ret = getval(in);
+        return new BitVector(getWidth()).set(in);
+    }
     public long getval(BitVector targ) {
         long in = 0;
         for(int i=0; i<targ.length(); i++)