src/bitvector.c
/*  Boolean AND of two bit vectors.  The result replaces the first vector.  */
Boolean AND of two bit vectors.  The result replaces the first vector.
Boolean AND of two bit vectors . The result replaces the first vector .
void
and_bits (bit_vector *b, const bit_vector *c)
{
    int num_words = NUM_WORDS(b->num_bits);
    int i;
    assert(b->num_bits == c->num_bits);
    unsigned * bbits = b->bits;
    unsigned * cbits = c->bits;
    for (i = 0; i < num_words; i++) {
        bbits[i] = bbits[i] & cbits[i];
    }
}
void and_bits ( bit_vector * b , const bit_vector * c ) { int num_words = NUM_WORDS ( b -> num_bits ) ; int i ; assert ( b -> num_bits == c -> num_bits ) ; unsigned * bbits = b -> bits ; unsigned * cbits = c -> bits ; for ( i = 0 ; i < num_words ; i ++ ) { bbits [ i ] = bbits [ i ] & cbits [ i ] ; } }
Boolean AND of two bit vectors.
Boolean AND of two bit vectors .