notbdd(3) - Linux man page

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).

Referenced By