Lexicographic

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

BitVecCompareRange Description Compare ranges of two bitvectors lexicographically.