bdd_scanset

int bdd_scanset ( BDD  a, int **  varset, int *  varnum   ) Returns an integer representation of a variable set. Scans a variable set r and copies the stored variables into an integer array of variable numbers. The argument varset is the address of an integer pointer where the array is stored and varnum is a pointer to an integer where the number of elements are stored. It is the user's responsibility to make sure the array is deallocated by a call to free(v). The numbers returned are guaranteed to be in ascending order. See also: bdd_makeset Returns: Zero on success, otherwise a negative error code.

---