MisraStdC

BitVecDisjoint

Function

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

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.

BitVecOverlaps

Function

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

BitVecSet

Function

BitVecSet Description Set the value of bit at given index in bitvector.