bdd_not

BDD bdd_not ( BDD  r  )  Negates a bdd. Negates the BDD r by exchanging all references to the zero-terminal with references to the one-terminal and vice versa. Returns: The negated bdd.

---