BitVecEmpty
- Macro
- October 8, 2025
Table of Contents
BitVecEmpty
BitVecEmptyDescription
Check if bitvector is empty.
Parameters
| Name | Direction | Description |
|---|---|---|
bv | in | Bitvector to check |
Usage example (from documentation)
if (BitVecEmpty(&flags)) { /* handle empty case */ }
Usage example (Cross-references)
// Test empty check
result = result && !BitVecEmpty(&bv);
// Clear and check empty
// Clear and check empty
BitVecClear(&bv);
result = result && BitVecEmpty(&bv);
result = result && (BitVecLen(&bv) == 0);
result = result && (BitVecLen(&bv) == 0);
result = result && (BitVecCapacity(&bv) == 0);
result = result && BitVecEmpty(&bv);
result = result && (BitVecByteSize(&bv) == 0);
result = result && (BitVecLen(&bv) == 65);
result = result && (BitVecCapacity(&bv) >= 65);
result = result && !BitVecEmpty(&bv);
result = result && (BitVecByteSize(&bv) >= 9); // At least 9 bytes for 65 bits