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),   constraintBdd(3),
       composeBdd(3), addListBdd(3), notBdd(3).