/** * Return the NOT of a bit string */ public static OffsetBitVector not(OffsetBitVector s) { OffsetBitVector b = new OffsetBitVector(s); b.not(); return b; }
/** * Return a new bit string as the AND of two others. */ public static OffsetBitVector andNot(OffsetBitVector b1, OffsetBitVector b2) { OffsetBitVector b = new OffsetBitVector(b1); b.andNot(b2); return b; } }
/** * Return the NOT of a bit string */ public static OffsetBitVector not(OffsetBitVector s) { OffsetBitVector b = new OffsetBitVector(s); b.not(); return b; }
/** * Return the NOT of a bit string */ public static OffsetBitVector not(OffsetBitVector s) { OffsetBitVector b = new OffsetBitVector(s); b.not(); return b; }
/** * Return a new bit string as the AND of two others. */ public static OffsetBitVector andNot(OffsetBitVector b1, OffsetBitVector b2) { OffsetBitVector b = new OffsetBitVector(b1); b.andNot(b2); return b; } }
/** * Return a new bit string as the AND of two others. * * @throws IllegalArgumentException if b2 == null */ public static OffsetBitVector and(OffsetBitVector b1, OffsetBitVector b2) throws IllegalArgumentException { if (b2 == null) { throw new IllegalArgumentException("b2 == null"); } OffsetBitVector b = new OffsetBitVector(b1); b.and(b2); return b; }
/** * Return a new FixedSizeBitVector as the OR of two others * * @throws IllegalArgumentException if b2 == null */ public static OffsetBitVector or(OffsetBitVector b1, OffsetBitVector b2) throws IllegalArgumentException { if (b2 == null) { throw new IllegalArgumentException("b2 == null"); } OffsetBitVector b = new OffsetBitVector(b1); b.or(b2); return b; }
/** * Return a new bit string as the AND of two others. */ public static OffsetBitVector andNot(OffsetBitVector b1, OffsetBitVector b2) { OffsetBitVector b = new OffsetBitVector(b1); b.andNot(b2); return b; } }
/** * Return a new FixedSizeBitVector as the OR of two others * * @throws IllegalArgumentException if b2 == null */ public static OffsetBitVector or(OffsetBitVector b1, OffsetBitVector b2) throws IllegalArgumentException { if (b2 == null) { throw new IllegalArgumentException("b2 == null"); } OffsetBitVector b = new OffsetBitVector(b1); b.or(b2); return b; }
/** * Return a new bit string as the AND of two others. * * @throws IllegalArgumentException if b2 == null */ public static OffsetBitVector and(OffsetBitVector b1, OffsetBitVector b2) throws IllegalArgumentException { if (b2 == null) { throw new IllegalArgumentException("b2 == null"); } OffsetBitVector b = new OffsetBitVector(b1); b.and(b2); return b; }
/** * Return a new bit string as the AND of two others. * * @throws IllegalArgumentException if b2 == null */ public static OffsetBitVector and(OffsetBitVector b1, OffsetBitVector b2) throws IllegalArgumentException { if (b2 == null) { throw new IllegalArgumentException("b2 == null"); } OffsetBitVector b = new OffsetBitVector(b1); b.and(b2); return b; }
/** * Return a new FixedSizeBitVector as the OR of two others * * @throws IllegalArgumentException if b2 == null */ public static OffsetBitVector or(OffsetBitVector b1, OffsetBitVector b2) throws IllegalArgumentException { if (b2 == null) { throw new IllegalArgumentException("b2 == null"); } OffsetBitVector b = new OffsetBitVector(b1); b.or(b2); return b; }
@Test public void testOffsetBitVectors35_25_20_10() { testBitVectors(new OffsetBitVector(35, 20), new OffsetBitVector(25, 10)); }
@Test public void testOffsetBitVectors150_10() { testBitVectors(new OffsetBitVector(150, 10), new OffsetBitVector(150, 10)); }
@Test public void testOffsetBitVectors100_200_10() { testBitVectors(new OffsetBitVector(100, 10), new OffsetBitVector(200, 10)); }
@Test public void testOffsetBitVectors100_25_10() { testBitVectors(new OffsetBitVector(100, 10), new OffsetBitVector(25, 10)); }
@Test public void testOffsetBitVector50_50() { testSingleBitVector(new OffsetBitVector(50, 50)); }
@Test public void testOffsetBitVector0_10() { testSingleBitVector(new OffsetBitVector(0, 10)); }
@Test public void testOffsetBitVector50_10() { testSingleBitVector(new OffsetBitVector(50, 10)); }
@Test public void testOffsetBitVector100_10() { testSingleBitVector(new OffsetBitVector(100, 10)); }