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.


Generated on Mon Jul 23 13:25:16 2007 for BuDDy by  doxygen 1.5.1