bdd_replace

BDD bdd_replace ( BDD  r, bddPair *  pair   ) Replaces variables with other variables. Replaces all variables in the BDD r with the variables defined by pair. Each entry in pair consists of an old and a new variable. Whenever the old variable is found in r then a new node with the new variable is inserted instead. See also: bdd_newpair, bdd_setpair, bdd_setpairs Returns: The result of the operation.

---