bdd_freepair

void bdd_freepair ( bddPair *  p  )  Frees a table of pairs. Frees the table of pairs p that has been allocated by a call to bdd_newpair. See also: bdd_replace, bdd_newpair, bdd_setpair, bdd_resetpair

---