| BVEC bvec_var | ( | int | bitnum, | |
| int | offset, | |||
| int | step | |||
| ) |
Build a boolean vector with bdd variables.
Builds a boolean vector with the BDD variables 
as the elements. Each variable will be the the variable numbered offset + N * step where N ranges from 0 to bitnum - 1.
- Returns:
- The boolean vector (which is already reference counted).
- See also:
- bvec_true, bvec_false, bvec_con
