Class BitVectorMinusVector