Calculate the integer value represented by a boolean vector.
Calculates the value represented by the bits in v assuming that the vector v consists of only constant true or false BDDs. The LSB is assumed to be at position zero.
