bdd_varnum

int bdd_varnum ( void   )  Returns the number of defined variables. This function returns the number of variables defined by a call to bdd_setvarnum. Returns: The number of defined variables. See also: bdd_setvarnum, bdd_ithvar

---