From fd48f9a96ae8c6fbcf657a1e061cd234795615fb Mon Sep 17 00:00:00 2001 From: Adam Megacz Date: Thu, 16 Jul 2009 11:23:38 -0700 Subject: [PATCH] add edu.berkeley.fleet.util.BitMask --- src/edu/berkeley/fleet/util/BitMask.java | 30 ++++++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) create mode 100644 src/edu/berkeley/fleet/util/BitMask.java diff --git a/src/edu/berkeley/fleet/util/BitMask.java b/src/edu/berkeley/fleet/util/BitMask.java new file mode 100644 index 0000000..e607b07 --- /dev/null +++ b/src/edu/berkeley/fleet/util/BitMask.java @@ -0,0 +1,30 @@ +package edu.berkeley.fleet.util; +import edu.berkeley.fleet.api.*; +import edu.berkeley.fleet.*; +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 BitMask(BitVector ones, BitVector zeroes) { + if (ones.length() != zeroes.length()) + throw new RuntimeException("attempt to invoke BitMask with different-size "+ + "BitVectors: ones="+ones+", zeroes="+zeroes); + ones.setImmutable(); + zeroes.setImmutable(); + this.ones = ones; + this.zeroes = zeroes; + } + + public BitVector apply(BitVector bv) { + throw new RuntimeException("not implemented"); + } + + public boolean test(BitVector bv) { + throw new RuntimeException("not implemented"); + } + +} -- 1.7.10.4