BitVecAll Description Check if all bits in bitvector match the given value.
BitVecAny Description Check if any bit in bitvector matches the given value.
BitVecNone Description Check if no bits in bitvector match the given value.