BitMask: change order of constructor arguments, add invert() method

diff --git a/src/edu/berkeley/fleet/util/BitMask.java b/src/edu/berkeley/fleet/util/BitMask.java
index dfc4f8b..b07cc7a 100644 (file)
--- a/src/edu/berkeley/fleet/util/BitMask.java
+++ b/src/edu/berkeley/fleet/util/BitMask.java
@@ -6,10 +6,10 @@ import java.io.*;
 /** A bit mask assigns 1, 0, or dont-care to each bit position */
 public class BitMask {
 
-    public final BitVector ones;
     public final BitVector zeroes;
+    public final BitVector ones;
 
-    public BitMask(BitVector ones, BitVector zeroes) {
+    public BitMask(BitVector zeroes, BitVector ones) {
         if (ones.length() != zeroes.length())
             throw new RuntimeException("attempt to invoke BitMask with different-size "+
                                        "BitVectors: ones="+ones+", zeroes="+zeroes);
@@ -27,4 +27,8 @@ public class BitMask {
         throw new RuntimeException("not implemented");
     }
 
+    public BitMask invert() {
+        return new BitMask(ones, zeroes);
+    }
+
 }