bdd_extvarnum

int bdd_extvarnum ( int  num  )  Add extra bdd variables. Extends the current number of allocated BDD variables with num extra variables. Returns: The old number of allocated variables or a negative error code. See also: bdd_setvarnum, bdd_ithvar, bdd_nithvar

---