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

FreeBSD Manual Pages

  
 
  

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

NAME
       displayBdd - displays a BDD

SYNOPSYS
       #include	"logmmm.h"
       void displayBdd(pBdd,level)
       pNode pBdd;
       int level;

PARAMETERS
       pBdd		   BDD to display

       level		   displaying level

DESCRIPTION
       displayBdd() displays pBDD. if level= 1,	this function displays all the
       nodes of	pBdd, if level = 0 the function	 displays  the	root  node  of
       pBdd.

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

       initializeBdd(SMALL_BDD);
       nodeA = createNodeTermBdd(3);
       nodeB = createNodeTermBdd(3);
       nodeC = createNodeTermBdd(4);

       res = applyBinBdd(OR,applyBinBdd(AND,nodeB,nodeC),nodeA);
		 /* corresponding to  (OR (AND b c) a) */

       displayBdd(res,1);

       /* it will display
       @res	 INDEX = 4   LOW = @nodeA   HIGH = @inter1
       @nodeA	 INDEX = 2   LOW = ZERO	    HIGH = ONE
       @inter1	 INDEX = 3   LOW = @nodeA   HIGH = ONE
       */

       displayBdd(res,0);

       /* it will display
       @res	 INDEX = 4   LOW = @nodeA   HIGH = @inter1
       */

       destroyBdd(1);

SEE ALSO
       log(1), bdd(1), createNodeTermBdd(3), applyBinBdd(3), applyBdd(3), con-
       straintBdd(3), composeBdd(3), addListBdd(3), notBdd(3).

ASIM/LIP6			October	1, 1997			 DISPLAYBDD(3)
NAME | SYNOPSYS | PARAMETERS | DESCRIPTION | EXAMPLE | SEE ALSO

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

home | help