bdd_setvarnum

int bdd_setvarnum ( int  num  )  Set the number of used bdd variables. This function is used to define the number of variables used in the bdd package. It may be called more than one time, but only to increase the number of variables. The argument num is the number of variables to use. Returns: Zero on succes, otherwise a negative error code. See also: bdd_ithvar, bdd_varnum, bdd_extvarnum

---