bdd_varprofile

int* bdd_varprofile ( BDD  r  )  Returns a variable profile. Counts the number of times each variable occurs in the bdd r. The result is stored and returned in an integer array where the i'th position stores the number of times the i'th variable occured in the BDD. It is the users responsibility to free the array again using a call to free. Returns: A pointer to an integer array with the profile or NULL if an error occured.

---