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

FreeBSD Manual Pages

  
 
  

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

NAME
       simplifDcZeroBdd	 -  simplifies	a  BDD with don't cares	on its off-set
       part

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

PARAMETERS
       pBdd1		   BDD to simplify

       pBdd2		   "don't care"	function

DESCRIPTION
       simplifDcZeroBdd() simplifies pBdd1 with	pBdd2. pBdd2 must be  included
       imperatively  in	the off-set part of pBdd1. This	function returns a BDD
       that depends to the order of the	BDD.

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

       initializeBdd(SMALL_BDD);
       nodeA = createNodeTermBdd(3);
       nodeB = createNodeTermBdd(3);
       res1 = applyBinBdd(OR,nodeA,nodeB);     /* res1 = (OR a b) */
       res2 = applyBinBdd(NOR,nodeA,nodeB);    /* res2 = (NOR a	b) */
       res = simplifDcZeroBdd(res1,res2); /* res1 and res2 = 0 */
       displayBdd(res,1);

       /* it will display
       @res   ONE
       */

       destroyBdd(1);

SEE ALSO
       log(1),	bdd(1),	 simplifDcOneBdd(3),  applyBdd(3),   notBdd(3),	  con-
       straintBdd(3),  applyBinBdd(3),	addListBdd(3), displayBdd(3), createN-
       odeTermBdd(3).

ASIM/LIP6			October	1, 1997		   SIMPLIFDCZEROBDD(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=simplifDcZeroBdd&sektion=3&manpath=FreeBSD+12.0-RELEASE+and+Ports>

home | help