notBdd

Langue: en

Version: October 1, 1997 (fedora - 05/07/09)

Section: 3 (Bibliothèques de fonctions)

Sommaire

man2html: unable to open or read file man1/alc_origin.1

NAME

notBdd - complements a BDD

SYNOPSYS

 #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(3);
 
 displayBdd(notBdd(nodeA),1);
 
 /* it will display 
 @nodeA   INDEX = 2   LOW = ONE   HIGH = ZERO
 */
         
 destroyBdd(1);

SEE ALSO

log(1), bdd(1), applyBinBdd(3), applyBdd(3), constraintBdd(3), composeBdd(3), addListBdd(3), displayBdd(3), createNodeTermBdd(3).
man2html: unable to open or read file man1/alc_bug_report.1