From de2847ed12295decc324a8242cadaa201b369acd Mon Sep 17 00:00:00 2001
From: adam <adam@megacz.com>
Date: Mon, 3 Nov 2008 10:23:54 +0100
Subject: [PATCH] add Mask.getvalAsBitVector()

---
 src/edu/berkeley/fleet/util/Mask.java |    4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/edu/berkeley/fleet/util/Mask.java b/src/edu/berkeley/fleet/util/Mask.java
index eeb64d4..6aadf39 100644
--- 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++)
-- 
1.7.10.4