Adjust the size of a boolean vector.
Build a boolean vector with bitnum elements copied from v. If the number of elements in v is greater than bitnum then the most significant bits are removed, otherwise if number is smaller then the vector is padded with constant false BDDs (zeros).
- Returns:
- The new boolean vector (which is already reference counted).
