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