notBdd(2)

ORIGIN
Cao-vlsi libraries, log package, libbddmmm.a

NAME
notBdd - complements a BDD

SYNOPSIS
#include "logmmm.h"
pNode notBdd(pBdd)
pNode pBdd;

PARAMETER

pBdd
    BDD to complement

DESCRIPTION
notBdd() applies NOT operator to pBdd.

EXAMPLE
#include "mutnnn.h"		/* mbk utilities */
#include "logmmm.h"
pNode nodeA;
initializeBdd(SMALL_BDD);
nodeA = createNodeTermBdd(2);
displayBdd(notBdd(nodeA),1);
/* it will display
@nodeA   INDEX = 2   LOW = ONE   HIGH = ZERO
*/

destroyBdd(1);

SEE ALSO
log(1), bdd(1), applyBinBdd(2), applyBdd(2), constraintBdd(2), composeBdd(2), addListBdd(2), displayBdd(2), createNodeTermBdd(2).

SUPPORT STATUS
if bugs arise, please e-mail to cao-vlsi@masi.ibp.fr