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

FreeBSD Manual Pages

  
 
  

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

NAME
       composeBdd - substitutes	an index by a BDD in another BDD

SYNOPSIS
       #include	"logmmm.h"
       pNode composeBdd(pBdd1,pBdd2,index)
       pNode pBdd1;
       pNode pBdd2;
       short index;

PARAMETERS
       pBdd1		   BDD in which	index is substituted

       pBdd2		   BDD that replaces index

       index		   index to substitute

DESCRIPTION
       composeBdd()  constructs	the graph for the function obtained by compos-
       ing pBdd1 and pBdd2.  This function can be used when an auxiliary vari-
       able has	been mistaken for a primary input.

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 = composeBdd(res,notBdd(nodeB),2);  /* composition :	a = (NOT B) */
       displayBdd(res,1);

       /* it will display
       @res   ONE
       */

       destroyBdd(1);

SEE ALSO
       log(1),	bdd(1),	 applyBdd(3),  notBdd(3),   constraintBdd(3),	apply-
       BinBdd(3), addListBdd(3), displayBdd(3),	createNodeTermBdd(3).

ASIM/LIP6			October	1, 1997			 COMPOSEBDD(3)

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

home | help