Method assign_bytes

Tools/BitVector.h:37–41

    void assign(const BitVector& K);
    void assign_bytes(char* new_bytes, int len)
    {
        resize(len*8);
        memcpy(bytes, new_bytes, len);
    }
    void assign_zero()
    {
        memset(bytes, 0, nbytes);