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

FreeBSD Manual Pages

  
 
  

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

NAME
       constraintBdd - restricts a BDD to another BDD

SYNOPSYS
       #include	"logmmm.h"
       pNode constraintBdd(pBdd1,pBdd2)
       pNode pBdd1;
       pNode pBdd2;

PARAMETERS
       pBdd1		   BDD to restrict

       pBdd2		   constraint BDD

DESCRIPTION
       constraintBdd()	constructs  the	graph for the function obtained	by re-
       stricting pBdd1 on pBdd2.  This function	can be used for	example	when a
       primary input is	stuck at 0 or 1.

EXAMPLE
       #include	"mutnnn.h"	/* mbk utilities */
       #include	"logmmm.h"
       pNode nodeA,nodeB;
       pNode res;

       initializeBdd(SMALL_BDD);
       nodeA = createNodeTermBdd(3);
       nodeB = createNodeTermBdd(3);
       res = applyBinBdd(OR,nodeA,nodeB); /* res = (OR a b)
       res = constraintBdd(res,nodeA);	       /* a = 1	*/
       displayBdd(res,1);

       /* it will display
       @res   ONE
       */

       destroyBdd(1);

SEE ALSO
       log(1), bdd(1), simplifDcOneBdd(3), simplifDcZeroBdd(3),	composeBdd(3),
       applyBdd(3), notBdd(3), applyBinBdd(3),	addListBdd(3),	displayBdd(3),
       createNodeTermBdd(3).

ASIM/LIP6			October	1, 1997		      CONSTRAINTBDD(3)

NAME | SYNOPSYS | PARAMETERS | DESCRIPTION | EXAMPLE | SEE ALSO

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

home | help