/** * Return a new bit string as the AND of two others. */ public static FixedSizeBitVector and(FixedSizeBitVector b1, FixedSizeBitVector b2) { FixedSizeBitVector b = new FixedSizeBitVector(b1); b.and(b2); return b; }
/** * Return a new bit string as the AND of two others. */ public static FixedSizeBitVector and(FixedSizeBitVector b1, FixedSizeBitVector b2) { FixedSizeBitVector b = new FixedSizeBitVector(b1); b.and(b2); return b; }
/** * Return a new bit string as the AND of two others. */ public static FixedSizeBitVector and(FixedSizeBitVector b1, FixedSizeBitVector b2) { FixedSizeBitVector b = new FixedSizeBitVector(b1); b.and(b2); return b; }