bdd_setpair

int bdd_setpair ( bddPair *  pair, int  oldvar, int  newvar   ) Set one variable pair. Adds the pair (oldvar,newvar) to the table of pairs pair. This results in oldvar being substituted with newvar in a call to bdd_replace. The parameter newvar is an integer representing the variable to be replaced with the old variable. Returns: Zero on success, otherwise a negative error code. See also: bdd_newpair, bdd_setpairs, bdd_resetpair, bdd_replace, bdd_compose

---