bdd_resetpair

void bdd_resetpair ( bddPair *  p  )  Clear all variable pairs. Resets the table of pairs p by setting all substitutions to their default values (that is no change). See also: bdd_newpair, bdd_setpair, bdd_freepair

---