Skip to content
BitVecInitWithCapacity

BitVecInitWithCapacity

Description

Initialize bitvector with initial capacity.

This public API supports both forms:

  • BitVecInitWithCapacity(cap)
  • BitVecInitWithCapacity(cap, alloc)

Omitting the allocator uses DefaultAllocator().

Success

Returns an initialized BitVec with reserved capacity for at least cap bits (see BitVecInitWithCapacityAlloc).

Failure

Returns an empty bitvector (length 0, capacity 0, data NULL, allocator still bound) when the underlying byte buffer allocation fails.

Usage example (Cross-references)

Usage examples (Cross-references)
No external code usages found in the scanned files.
Last updated on