Skip site navigation (1)Skip section navigation (2)

FreeBSD Manual Pages

  
 
  

home | help
NOTBDD(3)			 BDD functions			     NOTBDD(3)

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), com-
       poseBdd(3), addListBdd(3), displayBdd(3), createNodeTermBdd(3).

ASIM/LIP6			October	1, 1997			     NOTBDD(3)

NAME | SYNOPSYS | PARAMETER | DESCRIPTION | EXAMPLE | SEE ALSO

Want to link to this manual page? Use this URL:
<https://www.freebsd.org/cgi/man.cgi?query=notBdd&sektion=3&manpath=FreeBSD+12.0-RELEASE+and+Ports>

home | help