MisraStdC

BitVecCompare

Function

BitVecCompare Description Compare two bitvectors lexicographically. Comparison is done bit by bit from left to right.

BitVecCompareRange

Function

BitVecCompareRange Description Compare ranges of two bitvectors lexicographically.

BitVecDisjoint

Function

BitVecDisjoint Description Check if two bitvectors are disjoint (have no common 1-bits).

BitVecEquals

Function

BitVecEquals Description Test equality between two bitvectors. Two bitvectors are equal if they have the same length and all bits match.

BitVecEqualsRange

Function

BitVecEqualsRange Description Compare specific ranges of two bitvectors for equality.

BitVecIsSubset

Function

BitVecIsSubset Description Check if first bitvector is a subset of the second. A bitvector is a subset if all its 1-bits are also 1-bits in the other.

BitVecIsSuperset

Function

BitVecIsSuperset Description Check if first bitvector is a superset of the second. A bitvector is a superset if it contains all 1-bits from the other.

BitVecNumericalCompare

Function

BitVecNumericalCompare Description Compare two bitvectors as unsigned integers. Treats bitvectors as unsigned binary numbers (LSB first).

BitVecOverlaps

Function

BitVecOverlaps Description Check if two bitvectors overlap (have any common 1-bits).

BitVecSignedCompare

Function

BitVecSignedCompare Description Compare two bitvectors as signed integers (MSB is sign bit).

BitVecWeightCompare

Function

BitVecWeightCompare Description Compare two bitvectors by their Hamming weights (number of 1s).