BitVecCountOnes Description Count number of bits set to 1 in bitvector.
BitVecCountZeros Description Count number of bits set to 0 in bitvector.
BitVecCountPattern Description Count total occurrences of a bit pattern in the bitvector.