fdd_scanset

int fdd_scanset ( BDD  , int **  , int *    ) Scans a variable set. Scans the BDD r to find all occurences of FDD variables and then stores these in varset. varset will be set to point to an array of size varnum which will contain the indices of the found FDD variables. It is the users responsibility to free varset after use. Returns: Zero on success or a negative error code on error. See also: fdd_makeset

---