void BitVector::nonANDrle(BitVector& bv) { // decompress // run nonANDnon BitVector *tmp = new BitVector(); tmp->copy(bv); tmp->decompress(); nonANDnon(*tmp); delete tmp; }