MisraStdC

BitVecAll Description Check if all bits in bitvector match the given value.

BitVecAny Description Check if any bit in bitvector matches the given value.

BitVecEmpty Description Check if bitvector is empty.

BitVecNone Description Check if no bits in bitvector match the given value.

BitVecIsSorted Description Check if bits in bitvector are in sorted order. Useful for certain algorithms and data structures.