| BDD bdd_ibuildcube | ( | int | value, | |
| int | width, | |||
| int * | var | |||
| ) |
Build a cube from an array of variables.
This function builds a cube from the variables in var. It does so by interpreting the width low order bits of value as a bit mask - a set bit indicates that the variable should be added in it's positive form, and a cleared bit the opposite. The most significant bits are encoded with the first variables in var. Consider as an example the call
bdd_buildcube(0xB, 4, var);
![$var[0] \land \lnot var[1] \land var[2] \land var[3]$](form_1.png)
. This version of the function takes an array of variable numbers as used in bdd_ithvar.
- Returns:
- The resulting cube.
- See also:
- bdd_ithvar, fdd_ithvar
