bdd_setbddpair

int bdd_setbddpair ( bddPair *  pair, int  oldvar, BDD  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 variable oldvar is substituted with the BDD newvar. The possibility to substitute with any BDD as newvar is utilized in bdd_compose, whereas only the topmost variable in the BDD is used in bdd_replace. Returns: Zero on success, otherwise a negative error code. See also: bdd_newpair, bdd_setpairs, bdd_resetpair, bdd_replace, bdd_compose

---