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

  
 
  

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

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

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

home | help