fdd_scanallvar

int* fdd_scanallvar ( BDD   )  Finds one satisfying value of all fdd variables. Finds one satisfying assignment in r of all the defined FDD variables. Each value is stored in an array which is returned. The size of this array is exactly the number of FDD variables defined. It is the user's responsibility to free this array using free(). Returns: An array with all satisfying values. If r is the trivially false BDD, then NULL is returned. See also: fdd_scanvar

---